On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice

• Autorzy: Horst Herrlich , Paul Howard , Eleftherios Tachtsis
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03E25: Axiom of choice and related propositions
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2015
• Tom: 63
• Numer: 2
• Strony: 89-112

Daty

wydano

2015

Twórcy

autor

Horst Herrlich

• (March 13, 2015)

autor

Paul Howard

• Department of Mathematics, Eastern Michigan University, Ypsilanti, MI 48197, U.S.A.

autor

Eleftherios Tachtsis

• Department of Mathematics, University of the Aegean, Karlovassi, Samos 83200, Greece

Identyfikatory

DOI

10.4064/ba63-2-1