A model with no magic set

DOI10.2307/2586790zbMATH Open0945.03074arXivmath/9801154OpenAlexW2122232871MaRDI QIDQ4948520FDOQ4948520

Authors: S. Shelah, Krzysztof Chris Ciesielski 

Publication date: 27 September 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We will prove that there exists a model of ZFC+``c= omega_2 in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c there exists a continuous function f:R-> R with f[X]=[0,1]. In particular in this model there is no magic set, i.e., a set M subseteq R such that the equation f[M]=g[M] implies f=g for every continuous nowhere constant functions f,g:R-> R .

Full work available at URL: https://arxiv.org/abs/math/9801154

Recommendations

• Sets on which Measurable Functions are Determined by their Range
• Magic sets
• scientific article; zbMATH DE number 1916607
• Models of Cohen measurability

zbMATH Keywords

continuous functionsiterated forcingmeager setgeneric extensionmagic set

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15)

Cites Work

• Iterated perfect-set forcing
• Title not available (Why is that?)
• Sets on which Measurable Functions are Determined by their Range

Cited In (12)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A small transitive family of continuous functions on the Cantor set
• Functions with distant fibers and uniform continuity
• Continuous and smooth images of sets
• Magic sets for polynomials of degree \(n\)
• On slow minimal reals I
• Models of Cohen measurability
• The yellow cake
• Sets of range uniqueness for multivariate polynomials and linear functions with rank k
• Magic sets
• Uniform quasi components, thin spaces and compact separation
• Between continuous and uniformly continuous functions on \(\mathbb{R}^n\)

This page was built for publication: A model with no magic set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948520)