Metamathematics of the alternative set theory. II.

@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 -