Expressing Infinity without Foundation
Parlamento, Franco ; Policriti, Alberto
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 1230-1235 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The axiom of infinity can be expressed by stating the existence of sets satisfying a formula which involves restricted universal quantifiers only, even if the axiom of foundation is not assumed.
Publié le : 1991-12-14
Classification:  
@article{1183743810,
     author = {Parlamento, Franco and Policriti, Alberto},
     title = {Expressing Infinity without Foundation},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 1230-1235},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743810}
}

Parlamento, Franco; Policriti, Alberto. Expressing Infinity without Foundation. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  1230-1235. http://gdmltest.u-ga.fr/item/1183743810/