Construction of the class FN
Commentationes Mathematicae Universitatis Carolinae (1986)
- Volume: 027, Issue: 3, page 435-436
- ISSN: 0010-2628
Access Full Article
top
How to cite
topSgall, Jiří. "Construction of the class FN." Commentationes Mathematicae Universitatis Carolinae 027.3 (1986): 435-436. <http://eudml.org/doc/17472>.
@article{Sgall1986,
author = {Sgall, Jiří},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; axiom of extensional coding; class of finite natural numbers; well ordering of the universal class V; modified AST; axiom of choice},
language = {eng},
number = {3},
pages = {435-436},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Construction of the class FN},
url = {http://eudml.org/doc/17472},
volume = {027},
year = {1986},
}
TY - JOUR
AU - Sgall, Jiří
TI - Construction of the class FN
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1986
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 027
IS - 3
SP - 435
EP - 436
LA - eng
KW - alternative set theory; axiom of extensional coding; class of finite natural numbers; well ordering of the universal class V; modified AST; axiom of choice
UR - http://eudml.org/doc/17472
ER -
References
top- A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184
- 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.