| Title:
|
Alternative set theory with elementary classes (English) |
| Author:
|
Prati, Nando |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
35 |
| Issue:
|
1 |
| Year:
|
1994 |
| Pages:
|
193-203 |
| . |
| Category:
|
math |
| . |
| Summary:
|
In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory. (English) |
| Keyword:
|
Alternative Set Theory |
| Keyword:
|
axiomatic systems |
| Keyword:
|
interpretation |
| Keyword:
|
consistency |
| Keyword:
|
ultrapower |
| MSC:
|
03E70 |
| MSC:
|
03H05 |
| MSC:
|
03H20 |
| MSC:
|
03H99 |
| idZBL:
|
Zbl 0804.03042 |
| idMR:
|
MR1292595 |
| . |
| Date available:
|
2009-01-08T18:09:55Z |
| Last updated:
|
2012-04-30 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/118653 |
| . |
| Reference:
|
[B1] Boffa M.: Forcing et negation de l'axiome de fondement.Mem. Acad. Sc. Belg., Tome XL, Fasc. 7, 1972. Zbl 0286.02068 |
| Reference:
|
[B2] Boffa M.: Sur la théorie des ensembles sans axiome de fondement.Bull. Soc. Math. Belg. 21 (1969), 16-56. Zbl 0193.30601, MR 0260588 |
| Reference:
|
[C-K] Chang C.C., Keisler H.J.: Model Theory.North-Holland Publishing Company, Amsterdam, 1973. Zbl 0697.03022, MR 0409165 |
| Reference:
|
[Ob1] Oberschelp A.: Set Theory over Classes.Dissertationes Mathematicae CVI, Warszawa, 1973. Zbl 0343.02050, MR 0319758 |
| Reference:
|
[Ob2] Oberschelp A.: Eigentliche Klassen als Urelemente in der Mengenlehre.Math. Annalen 157 (1964), 234-260. Zbl 0121.25603, MR 0177878 |
| Reference:
|
[Pr1] Prati N.: A fuzzy Alternative Set Theory.Riv. Mat. Univ. Parma (4) 14 (1988), 181-191. Zbl 0688.03035, MR 1007079 |
| Reference:
|
[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. |
| Reference:
|
[So1] Sochor A.: Metamathematics of the Alternative Set Theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-721. Zbl 0433.03028, MR 0555184 |
| Reference:
|
[So2] Sochor A.: Metamathematics of the Alternative Set Theory III.Comment. Math. Univ. Carolinae 24 (1983), 137-154. Zbl 0531.03031, MR 0703933 |
| Reference:
|
[Vo] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner Texte, Leipzig, 1979. MR 0581368 |
| . |
