Geodesic
Countable inductive definitions in AST
Commentationes Mathematicae Universitatis Carolinae, Tome 27 (1986) no. 1, pp. 17-33 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02B99, 02K10, 03D70, 03E70 
@article{CMUC_1986_27_1_a2,
     author = {Tzouvaras, Athanossios},
     title = {Countable inductive definitions in {AST}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {17--33},
     year = {1986},
     volume = {27},
     number = {1},
     mrnumber = {843418},
     zbl = {0614.03053},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1986_27_1_a2/}
}
TY  - JOUR
AU  - Tzouvaras, Athanossios
TI  - Countable inductive definitions in AST
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1986
SP  - 17
EP  - 33
VL  - 27
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1986_27_1_a2/
LA  - en
ID  - CMUC_1986_27_1_a2
ER  - 
%0 Journal Article
%A Tzouvaras, Athanossios
%T Countable inductive definitions in AST
%J Commentationes Mathematicae Universitatis Carolinae
%D 1986
%P 17-33
%V 27
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1986_27_1_a2/
%G en
%F CMUC_1986_27_1_a2
Tzouvaras, Athanossios. Countable inductive definitions in AST. Commentationes Mathematicae Universitatis Carolinae, Tome 27 (1986) no. 1, pp. 17-33. http://geodesic.mathdoc.fr/item/CMUC_1986_27_1_a2/

[M] J. MLČEK: Approximations of $\Sigma $ -classes and $\Pi $-classes. Comment. Math. Univ. Carolinae 20 (1979), 669-6F9. | MR

[MO] Y. MOSCHOVAKIS: Elementary induction on abstract structures. North-Holland, 1974. | MR | Zbl

[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner Texte, Leipzig, 1979. | MR