Article
Full entry |
PDF
(0.2 MB)
Feedback
PDF
(0.2 MB)
Feedback
Keywords:
Alternative Set Theory; axiomatic systems; interpretation; consistency; ultrapower
Alternative Set Theory; axiomatic systems; interpretation; consistency; ultrapower
Summary:
In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.
References:
[B1] Boffa M.: Forcing et negation de l'axiome de fondement. Mem. Acad. Sc. Belg., Tome XL, Fasc. 7, 1972. Zbl 0286.02068
[B2] Boffa M.: Sur la théorie des ensembles sans axiome de fondement. Bull. Soc. Math. Belg. 21 (1969), 16-56. MR 0260588 | Zbl 0193.30601
[C-K] Chang C.C., Keisler H.J.: Model Theory. North-Holland Publishing Company, Amsterdam, 1973. MR 0409165 | Zbl 0697.03022
[Ob1] Oberschelp A.: Set Theory over Classes. Dissertationes Mathematicae CVI, Warszawa, 1973. MR 0319758 | Zbl 0343.02050
[Ob2] Oberschelp A.: Eigentliche Klassen als Urelemente in der Mengenlehre. Math. Annalen 157 (1964), 234-260. MR 0177878 | Zbl 0121.25603
[Pr1] Prati N.: A fuzzy Alternative Set Theory. Riv. Mat. Univ. Parma (4) 14 (1988), 181-191. MR 1007079 | Zbl 0688.03035
[Pr2] Prati N.: Una Teoria di Insiemi Fuzzy ed Alternativi (in Italian). Tesi di Dottorato di Ricerca in Matematica, Dip. di Matematica Univ. di Pisa, 1988.
[So1] Sochor A.: Metamathematics of the Alternative Set Theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-721. MR 0555184 | Zbl 0433.03028
[So2] Sochor A.: Metamathematics of the Alternative Set Theory III. Comment. Math. Univ. Carolinae 24 (1983), 137-154. MR 0703933 | Zbl 0531.03031
[Vo] Vopěnka P.: Mathematics in the Alternative Set Theory. Teubner Texte, Leipzig, 1979. MR 0581368
Search
Partner of
