Remark 3.4 A Dedekind Finite Borel Set

2015/09/29 by Arnold W. Miller, Miller, Arnold W.
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras #math.LO

paper · pdf · doi:10.48550/arxiv.1509.08947

arxiv created 2015/09/29 · openalex publication_date 2015/09/29 · arxiv updated 2015/10/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Asaf Karagila pointed out that Remark 3.4 [1], directly contradicts Theorem 3.3 (c) [2] which was incorrectly stated. This note contains a proof of this remark. [1] Miller, Arnold W.; A Dedekind Finite Borel Set, Arch. Math. Logic 50 (2011), no. 1-2, 1--17. [2] Kanamori, A.; Pincus, D.; Does GCH imply AC locally?, Paul Erdos and his mathematics, II (Budapest, 1999), 413-426, Bolyai Soc. Math. Stud., 11, Janos Bolyai Math. Soc., Budapest, 2002.

Related

• A note on dual Dedekind finiteness
• An overview of the proof in "Borel Conjecture and Dual Borel Conjecture"
• A Dedekind Finite Borel Set
• Amorphous sets and dual Dedekind finiteness
• The Borel conjecture for manifolds with virtually solvable fundamental groups