On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice
Horst Herrlich ; Paul Howard ; Eleftherios Tachtsis
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 63 (2015), p. 89-112 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

We study the deductive strength of properties under basic set-theoretical operations of the subclass E-Fin of the Dedekind finite sets in set theory without the Axiom of Choice ( AC ), which consists of all E-finite sets, where a set X is called E-finite if for no proper subset Y of X is there a surjection f:Y → X.

Publié le : 2015-01-01
EUDML-ID : urn:eudml:doc:281232 
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-ba63-2-1,
     author = {Horst Herrlich and Paul Howard and Eleftherios Tachtsis},
     title = {On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice},
     journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
     volume = {63},
     year = {2015},
     pages = {89-112},
     zbl = {06526968},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ba63-2-1}
}

Horst Herrlich; Paul Howard; Eleftherios Tachtsis. On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 63 (2015) pp. 89-112. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-ba63-2-1/