scientific article

Publication date: 17 November 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

forcing measurability inaccessible cardinal supercompactness tree property axiom of determinacy partition properties Mahlo cardinal history of large cardinals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Large cardinals (03E55) History of mathematical logic and foundations (03-03) Other combinatorial set theory (03E05) Determinacy principles (03E60)

Related Items

LOGICALITY AND MODEL CLASSES ⋮ Indestructibility properties of Ramsey and Ramsey-like cardinals ⋮ Prikry-type forcing and the set of possible cofinalities ⋮ TAKING REINHARDT’S POWER AWAY ⋮ The generic pair conjecture for dependent finite diagrams ⋮ The consistency strength of projective absoluteness ⋮ Cardinal characteristics at $\kappa$ in a small $\mathfrak{u}(\kappa)$ model ⋮ A hierarchy of Ramsey-like cardinals ⋮ The linearity of the Mitchell order ⋮ The large cardinal strength of weak Vopenka’s principle ⋮ Maximal almost disjoint families, determinacy, and forcing ⋮ Definable MAD families and forcing axioms ⋮ The Borel complexity of von Neumann equivalence ⋮ CONSTRUCTING WADGE CLASSES ⋮ Boundedness theorems for flowers and sharps ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ A lower bound for the Hanf number for joint embedding ⋮ Pure patterns of order 2 ⋮ RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY ⋮ Reflection principles and second-order choice principles with urelements ⋮ Indestructibility of compact spaces ⋮ Model theoretic characterizations of large cardinals ⋮ COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS ⋮ Countable ordinals in indiscernibility spectra ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Large cardinals at the brink ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ MAKER–BREAKER GAMES ON AND ⋮ Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering ⋮ Fresh function spectra ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Vopěnka's principle in $\infty$-categories ⋮ Generalised pseudointersections ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Applying generic coding with help to uniformizations ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Automorphisms of algebras of smooth functions and equivalent functions ⋮ A note on the normal filters extension property ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Unnamed Item ⋮ Uncountable structures are not classifiable up to bi-embeddability ⋮ Club-guessing, stationary reflection, and coloring theorems ⋮ Strong failures of higher analogs of Hindman’s theorem ⋮ Chang's conjecture with $\square_{\omega_1, 2}$ from an $\omega_1$-Erdős cardinal ⋮ Guessing models and generalized Laver diamond ⋮ A dependent theory with few indiscernibles ⋮ GAMES AND RAMSEY-LIKE CARDINALS ⋮ $\mathbf{L}(\mathbb{R})$ with determinacy satisfies the Suslin hypothesis ⋮ The topology of ultrafilters as subspaces of $2^{\omega }$ ⋮ Distinct volume subsets via indiscernibles ⋮ Square compactness and the filter extension property ⋮ Borel canonization of analytic sets with Borel sections ⋮ Proof of a conjecture of Galvin ⋮ On a hypothesis for ${\aleph}_{0}$-bounded groups ⋮ Projective games on the reals ⋮ Morasses, semimorasses and supercompact ultrafilters ⋮ Ramsey theory on generalized Baire space ⋮ Square principles in $\mathbb{P}_{\max}$ extensions ⋮ Between Polish and completely Baire ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Generalizations of the Kunen inconsistency ⋮ A General Setting for the Pointwise Investigation of Determinacy ⋮ Square and non-reflection in the context of $\mathcal P_{\kappa}\lambda$ ⋮ Generalizing random real forcing for inaccessible cardinals ⋮ Large cardinals and locally defined well-orders of the universe ⋮ Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete ⋮ Pure $\Sigma_2$-elementarity beyond the core ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ Infinite decreasing chains in the Mitchell order ⋮ Weak Vopěnka's principle does not imply Vopěnka's principle ⋮ The tree property at first and double successors of singular cardinals with an arbitrary gap ⋮ Determined admissible sets ⋮ Compactness in Infinitary Gödel Logics ⋮ Fake reflection ⋮ Every zero-dimensional homogeneous space is strongly homogeneous under determinacy ⋮ Tall cardinals in extender models ⋮ Unnamed Item ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Topological Interpretations of Provability Logic ⋮ On supercompactness of $\omega_1$ ⋮ On the consistency of local and global versions of Chang’s Conjecture ⋮ Sigma-Prikry forcing I: The Axioms ⋮ A Glimpse of $$ \sum_{3} $$-elementarity ⋮ $\omega_1$-strongly compact cardinals and normality ⋮ Easton's theorem for Ramsey and strongly Ramsey cardinals ⋮ A weakly normal ultrafilter amenable to its ultrapower ⋮ Definable towers ⋮ Infinitary Jónsson functions and elementary embeddings