Supercompact cardinals, sets of reals, and weakly homogeneous trees
From MaRDI portal
Publication:3803107
DOI10.1073/pnas.85.18.6587zbMath0656.03037OpenAlexW2157996049WikidataQ24649560 ScholiaQ24649560MaRDI QIDQ3803107
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.6587
Related Items
Souslin partitions of products of finite sets, Large cardinals and large dilators, The determinacy of Blackwell games, The Continuum Hypothesis, Kleene's Amazing Second Recursion Theorem, Indescribable cardinals and elementary embeddings, Universally meager sets and principles of generic continuity and selection in Banach spaces, Large cardinals and definable counterexamples to the continuum hypothesis, Mouse sets, HODL(ℝ) is a Core Model Below Θ, Generic absoluteness and Boolean names for elements of a Polish space, Measures: Back and Forth Between Point sets and Large sets, \(L(\mathbb{R}, \mu)\) is unique, Proving Theorems from Reflection, 1995 Annual Meeting of the Association for Symbol Logic, Topological reducibilities for discontinuous functions and their structures, Homogeneity for Open Partitions of Pairs of Reals, Proof of a conjecture of Galvin, The left distributive law and the freeness of an algebra of elementary embeddings, The Prospects for Mathematical Logic in the Twenty-First Century, Collapsing successors of singulars, Precipitous towers of normal filters, Iteration Trees, Inner models from extended logics: Part 1, Terminal notions in set theory, ISOLATING CARDINAL INVARIANTS, Terminal Notions, Generic Embeddings and the Failure of Box, Iteration of Souslin forcing, projective measurability and the Borel conjecture, Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\), Long Borel games, Combinatorial Dichotomies in Set Theory, Determined admissible sets, Perfect-set properties in \(L(\mathbb{R})[U\)], Kleene’s Amazing Second Recursion Theorem, Incompatible Ω-Complete Theories, DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS, Canonical models for \(\aleph_1\)-combinatorics, A Proof of Projective Determinacy, PROVABLY GAMES, Infinitary Jónsson functions and elementary embeddings