Results 1 to 10 of about 5,971 (229)
A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level [PDF]
Axioms, 2022 The problem of the existence of analytically definable well-orderings at a given level of the projective hierarchy is considered. This problem is important as a part of the general problem of the study of the projective hierarchy in the ongoing ...
Vladimir Kanovei, Vassily Lyubetsky
doaj +6 more sources
A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part II [PDF]
Mathematics, 2023 We consider the problem of the existence of well-orderings of the reals, definable at a certain level of the projective hierarchy. This research is motivated by the modern development of descriptive set theory.
Vladimir Kanovei, Vassily Lyubetsky
doaj +6 more sources
A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA [PDF]
Mathematics, 2023 A model of set theory ZFC is defined in our recent research, in which, for a given n≥3, (An) there exists a good lightface Δn1 well-ordering of the reals, but (Bn) no well-orderings of the reals (not necessarily good) exist in the previous class Δn−11 ...
Vladimir Kanovei, Vassily Lyubetsky
doaj +6 more sources
Projective well-orderings and extensions of Lebesgue measure [PDF]
Colloquium Mathematicum, 1982 R Daniel Mauldin
exaly +7 more sources
BPFA and projective well-orderings of the reals
The Journal of Symbolic Logic, 2011 AbstractIf the bounded proper forcing axiom BPFA holds and ω1 = ω1L, then there is a lightface Σ31 well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of “David's trick.” We also present a general coding scheme that allows us to show that BPFA is ...
Caicedo, Andrés Eduardo +1 more
core +5 more sources
Mathematics, 2023 We make use of generalized iterations of the Sacks forcing to define cardinal-preserving generic extensions of the constructible universe L in which the axioms of ZF hold and in addition either (1) the parameter-free countable axiom of choice ACω* fails,
Vladimir Kanovei, Vassily Lyubetsky
doaj +1 more source
Projective well orders and coanalytic witnesses
Annals of Pure and Applied Logic, 2022 19 ...
Jeffrey Bergfalk +2 more
openaire +2 more sources
Cofinitary groups and projective well-orders
, 2023 21 pages ...
Fischer, Vera +2 more
openaire +2 more sources
Measure, category and projective wellorders
Journal of Logic and Analysis, 2015 Summary: We show that each admissible assignment of \(\aleph_1\) and \(\aleph_2\) to the cardinal invariants in the Cichoń Diagram is consistent with the existence of a projective wellorder of the reals.
Fischer, Vera +2 more
openaire +6 more sources
Cardinal characteristics and projective wellorders
Annals of Pure and Applied Logic, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vera Fischer, Sy-David Friedman
openaire +2 more sources