Finiteness and choice

• Autorzy: Omar De la Cruz
• Języki publikacji: EN

Abstrakty

EN

We deal with weak choice principles of the form: Every "finite" family of non-empty sets has a choice function, where "finite" stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.

Kategorie tematyczne

• 03E30: Axiomatics of classical set theory and its fragments
• 03E25: Axiom of choice and related propositions
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2002
• Tom: 173
• Numer: 1
• Strony: 57-76

Daty

wydano

2002

Twórcy

autor

Omar De la Cruz

• Department of Mathematics, Purdue University, West Lafayette, IN 47907-1395, U.S.A.

Identyfikatory

DOI

10.4064/fm173-1-4