| Title:
|
Countable inductive definitions in AST (English) |
| Author:
|
Tzouvaras, Athanossios |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
27 |
| Issue:
|
1 |
| Year:
|
1986 |
| Pages:
|
17-33 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02B99 |
| MSC:
|
02K10 |
| MSC:
|
03D70 |
| MSC:
|
03E70 |
| idZBL:
|
Zbl 0614.03053 |
| idMR:
|
MR843418 |
| . |
| Date available:
|
2008-06-05T21:23:49Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106427 |
| . |
| Reference:
|
[M] J. MLČEK: Approximations of $\Sigma $ -classes and $\Pi $-classes.Comment. Math. Univ. Carolinae 20 (1979), 669-6F9. MR 0555182 |
| Reference:
|
[MO] Y. MOSCHOVAKIS: Elementary induction on abstract structures.North-Holland, 1974. Zbl 0307.02003, MR 0398810 |
| Reference:
|
[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory.Teubner Texte, Leipzig, 1979. MR 0581368 |
| . |
