Translator Disclaimer
2016 Finiteness Classes and Small Violations of Choice
Horst Herrlich, Paul Howard, Eleftherios Tachtsis
Notre Dame J. Formal Logic 57(3): 375-388 (2016). DOI: 10.1215/00294527-3490101

Abstract

We study properties of certain subclasses of the Dedekind finite sets (addressed as finiteness classes) in set theory without the axiom of choice (AC) with respect to the comparability of their elements and to the boundedness of such classes, and we answer related open problems from Herrlich’s “The Finite and the Infinite.” The main results are as follows:

1. It is relatively consistent with ZF that the class of all finite sets is not the only finiteness class such that any two of its elements are comparable.

2. The principle “Small Violations of Choice” (SVC)—introduced by A. Blass—implies that the class of all Dedekind finite sets is bounded above.

3. “The class of all Dedekind finite sets is bounded above” is true in every permutation model of ZFA in which the class of atoms is a set, and in every symmetric model of ZF.

4. There exists a model of ZFA set theory in which the class of all atoms is a proper class and in which the class of all infinite Dedekind finite sets is not bounded above.

5. There exists a model of ZF in which the class of all infinite Dedekind finite sets is not bounded above.

Citation

Download Citation

Horst Herrlich. Paul Howard. Eleftherios Tachtsis. "Finiteness Classes and Small Violations of Choice." Notre Dame J. Formal Logic 57 (3) 375 - 388, 2016. https://doi.org/10.1215/00294527-3490101

Information

Received: 21 January 2013; Accepted: 7 November 2013; Published: 2016
First available in Project Euclid: 26 February 2016

zbMATH: 06621296
MathSciNet: MR3521487
Digital Object Identifier: 10.1215/00294527-3490101

Subjects:
Primary: 03E25
Secondary: 03E35

Rights: Copyright © 2016 University of Notre Dame

JOURNAL ARTICLE
14 PAGES


SHARE
Vol.57 • No. 3 • 2016
Back to Top