Metamathematics of the alternative set theory. II.
Commentationes Mathematicae Universitatis Carolinae (1982)
- Volume: 023, Issue: 1, page 55-79
- ISSN: 0010-2628
Access Full Article
top
How to cite
topSochor, Antonín. "Metamathematics of the alternative set theory. II.." Commentationes Mathematicae Universitatis Carolinae 023.1 (1982): 55-79. <http://eudml.org/doc/17161>.
@article{Sochor1982,
author = {Sochor, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {formalizations of Cantor's set theory; interpretability; second and third order arithmetics; equivalence of axiomatic systems},
language = {eng},
number = {1},
pages = {55-79},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Metamathematics of the alternative set theory. II.},
url = {http://eudml.org/doc/17161},
volume = {023},
year = {1982},
}
TY - JOUR
AU - Sochor, Antonín
TI - Metamathematics of the alternative set theory. II.
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1982
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 023
IS - 1
SP - 55
EP - 79
LA - eng
KW - formalizations of Cantor's set theory; interpretability; second and third order arithmetics; equivalence of axiomatic systems
UR - http://eudml.org/doc/17161
ER -
References
topCitations in EuDML Documents
top- Karel Čuda, Blanka Vojtášková, Model-theoretical constructions in AST. I.
- Jiří Sgall, Forcing in the alternative set theory. I
- Jiří Sgall, Antonín Sochor, Forcing in the alternative set theory. II
- Antonín Sochor, Metamathematics of the alternative set theory. III.
- Karel Čuda, Blanka Vojtášková, Monads of indiscernibles
- Antonín Sochor, Notes on revealed classes
- Antonín Sochor, Complexity of the axioms of the alternative set theory
NotesEmbed ?
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.