Geodesic
Complexity of the axioms of the alternative set theory
Commentationes Mathematicae Universitatis Carolinae, Tome 34 (1993) no. 1, pp. 33-45

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

If {\bf T} is a complete theory stronger than {\bf ZF}$_{\hbox {Fin}}$ such that axiom of extensionality for classes + {\bf T} + $(\exists X)\Phi_i$ is consistent for 1$\leq i \leq k$ (each alone), where $\Phi_i$ are normal formulae then we show {\bf AST} + $(\exists X)\Phi_1 +\dots + (\exists X)\Phi_k$ + scheme of choice is consistent. As a consequence we get: there is no proper $\Delta_1$-formula in {\bf AST} + scheme of choice. Moreover the complexity of the axioms of {\bf AST} is studied, e.g\. we show axiom of extensionality is $\Pi_1$-formula, but not $\Sigma_1$-formula and furthermore prolongation axiom, axioms of choice and cardinalities are $\Pi_2$-formulae, but not $\Pi_1$-formulae in {\bf AST} without the axiom in question.
Classification : 03A05, 03D55, 03E30, 03E35, 03E70, 03H05, 03H15
Keywords: alternative set theory; complexity of formulae; $\Pi_2$-formula; extension of axiomatic systems 
@article{CMUC_1993__34_1_a3,
     author = {Sochor, A.},
     title = {Complexity of the axioms of the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {33--45},
     publisher = {mathdoc},
     volume = {34},
     number = {1},
     year = {1993},
     mrnumber = {1240201},
     zbl = {0792.03037},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/}
}
TY  - JOUR
AU  - Sochor, A.
TI  - Complexity of the axioms of the alternative set theory
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1993
SP  - 33
EP  - 45
VL  - 34
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/
LA  - en
ID  - CMUC_1993__34_1_a3
ER  - 
%0 Journal Article
%A Sochor, A.
%T Complexity of the axioms of the alternative set theory
%J Commentationes Mathematicae Universitatis Carolinae
%D 1993
%P 33-45
%V 34
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/
%G en
%F CMUC_1993__34_1_a3
Sochor, A. Complexity of the axioms of the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 34 (1993) no. 1, pp. 33-45. http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/