An unpublished theorem of Solovay, revisited

2020/01/29 by Ali Enayat, Enayat, Ali, Vladimir Kanovei +1
Computer Science · Mathematics · #03E15 #03E35 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2001.11058

openalex publication_date 2020/01/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and E₀-large generic extensions of the constructible universe L.

Related

• Adding highly undefinable sets over L
• Indiscernible pairs of countable sets of reals at a given projective level
• Cohen-like first order structures
• Set theory with a proper class of indiscernibles
• The Cardinality of the second uniform indiscernible