Indiscernible pairs of countable sets of reals at a given projective level
Abstract
Using an invariant modification of Jensen's "minimal 12 singleton" forcing, we define a model of ZFC, in which, for a given n2, there exists a lightface 1n unordered pair of non-OD (hence, OD-indiscernible) countable sets of reals, but there is no 1n unordered pairs of this kind.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.