Long projective wellorderings

DOI10.1016/0003-4843(77)90004-3zbMath0384.03033OpenAlexW1981403458MaRDI QIDQ4163208

Leo Harrington

Publication date: 1977

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(77)90004-3

Mathematics Subject Classification ID

Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Models of other mathematical theories (03C65) Other classical set theory (including functions, relations, and set algebra) (03E20) Axiom of choice and related propositions (03E25)

Related Items

Principles of reflection and second-order logic, Characterizations of pretameness and the Ord-cc, Projective well-orderings of the reals, -definability at uncountable regular cardinals, Large cardinals and definable counterexamples to the continuum hypothesis, Co-analytic mad families and definable wellorders, Cardinal characteristics, projective wellorders and large continuum, Souslin quasi-orders and bi-embeddability of uncountable structures, On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model, Continuous images of closed sets in generalized Baire spaces, A definable failure of the singular cardinal hypothesis, An undecidable extension of Morley's theorem on the number of countable models, Simplest possible locally definable well-orders, A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings, The Borel partition spectrum at successors of singular cardinals, Cardinal characteristics and projective wellorders, Projective wellorders and mad families with large continuum, Some applications of coarse inner model theory, An effective minimal encoding of uncountable sets, BI-INTERPRETATION IN WEAK SET THEORIES, sets of reals, Thin equivalence relations and inner models, Universal sets for pointsets properly on the n^th level of the projective hierarchy, Disjoint Borel functions, On coding uncountable sets by reals, The extended plus-one hypothesis—A relative consistency result, THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL, A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\), Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture, Projective prewellorderings vs projective wellfounded relations, Surrealist landscape with figures (a survey of recent results in set theory), \(\Sigma_3^1\) absoluteness and the second uniform indiscernible, NS SATURATED AND -DEFINABLE, Definable towers, Coding with ladders a well ordering of the reals, Determinacy in L(ℝ, μ)