Projective determinacy
From MaRDI portal
Publication:3803106
DOI10.1073/pnas.85.18.6582zbMath0656.03036OpenAlexW2576738953WikidataQ33646060 ScholiaQ33646060MaRDI QIDQ3803106
Publication date: 1988
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.85.18.6582
Related Items
Kleene's Amazing Second Recursion Theorem, Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\), The consistency strength of projective absoluteness, Mean-payoff games with partial observation, Choiceless Ramsey theory of linear orders, The exact consistency strength of the generic absoluteness for the universally Baire sets, Beyond Lebesgue and Baire. IV: Density topologies and a converse Steinhaus-Weil theorem, Recent Advances in Ordinal Analysis: Π12— CA and Related Systems, AD and patterns of singular cardinals below Θ, CHARACTERIZATION OF □κ IN CORE MODELS, Homogeneity for Open Partitions of Pairs of Reals, The left distributive law and the freeness of an algebra of elementary embeddings, Some new upper bounds in consistency strength for certain choiceless large cardinal patterns, Unnamed Item, Forcing lightface definable well-orders without the GCH, Square in Core Models, Regular variation without limits, What do we need large cardinals for?, Combinatorial Dichotomies in Set Theory, Kleene’s Amazing Second Recursion Theorem, A Proof of Projective Determinacy