Definability degrees for classes in the alternative set theory
Commentationes Mathematicae Universitatis Carolinae (1988)
- Volume: 029, Issue: 1, page 41-48
- ISSN: 0010-2628
Access Full Article
topHow to cite
topTzouvaras, Athanossios. "Definability degrees for classes in the alternative set theory." Commentationes Mathematicae Universitatis Carolinae 029.1 (1988): 41-48. <http://eudml.org/doc/17594>.
@article{Tzouvaras1988,
author = {Tzouvaras, Athanossios},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {normal formula; cut of natural numbers; alternative set theory; definability by positive formulas; inductive definitions},
language = {eng},
number = {1},
pages = {41-48},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Definability degrees for classes in the alternative set theory},
url = {http://eudml.org/doc/17594},
volume = {029},
year = {1988},
}
TY - JOUR
AU - Tzouvaras, Athanossios
TI - Definability degrees for classes in the alternative set theory
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1988
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 029
IS - 1
SP - 41
EP - 48
LA - eng
KW - normal formula; cut of natural numbers; alternative set theory; definability by positive formulas; inductive definitions
UR - http://eudml.org/doc/17594
ER -
References
top- K. ČUDA, The consistency of the measurability of projective semisets, Comment. Math. Univ. Carolinae 27 (1986), 103-121. (1986) MR0843424
- K.ČUDA P. VOPĚNKA, Real and imaginary classes, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) Zbl0433.03031MR0555180
- J. MLČEK, Approximations of -classes and -classes, Comment. Math. Univ. Carolinae 20 (1979), 669-679. (1979) MR0555182
- Y. MOSCHOVAKIS, Elementary induction on abstract structures, North Holland P. C. 1974. (1974) Zbl0307.02003MR0398810
- A. TZOUVARAS, Countable inductive definitions, Comment. Math. Univ. Carolinae 27 (1986), 17-33. (1986) Zbl0614.03053MR0843418
- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig, 1979. (1979) MR0581368
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.