Countable inductive definitions in AST
Commentationes Mathematicae Universitatis Carolinae (1986)
- Volume: 027, Issue: 1, page 17-33
- ISSN: 0010-2628
Access Full Article
top
How to cite
topTzouvaras, Athanossios. "Countable inductive definitions in AST." Commentationes Mathematicae Universitatis Carolinae 027.1 (1986): 17-33. <http://eudml.org/doc/17436>.
@article{Tzouvaras1986,
author = {Tzouvaras, Athanossios},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {fixed point; inductive class; inductive definitions; alternative set theory; positive formulas},
language = {eng},
number = {1},
pages = {17-33},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Countable inductive definitions in AST},
url = {http://eudml.org/doc/17436},
volume = {027},
year = {1986},
}
TY - JOUR
AU - Tzouvaras, Athanossios
TI - Countable inductive definitions in AST
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1986
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 027
IS - 1
SP - 17
EP - 33
LA - eng
KW - fixed point; inductive class; inductive definitions; alternative set theory; positive formulas
UR - http://eudml.org/doc/17436
ER -
References
top- J. MLČEK, Approximations of -classes and -classes, Comment. Math. Univ. Carolinae 20 (1979), 669-6F9. (1979) MR0555182
- Y. MOSCHOVAKIS, Elementary induction on abstract structures, North-Holland, 1974. (1974) Zbl0307.02003MR0398810
- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner Texte, Leipzig, 1979. (1979) MR0581368
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.