The higher infinite. Large cardinals in set theory from their beginnings.
From MaRDI portal
Publication:3535899
forcingmeasurabilitytree propertyinaccessible cardinalaxiom of determinacypartition propertiesMahlo cardinalsupercompactnesshistory of large cardinals
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60)
Recommendations
Cited in
(only showing first 100 items - show all)- Square principles in \(\mathbb{P}_{\max}\) extensions
- The topology of ultrafilters as subspaces of \(2^{\omega }\)
- On the consistency of local and global versions of Chang's conjecture
- Operational set theory and small large cardinals
- Boundedness theorems for flowers and sharps
- A lower bound for the Hanf number for joint embedding
- Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence
- Morasses, semimorasses and supercompact ultrafilters
- Ramsey theory on generalized Baire space
- Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
- Definable MAD families and forcing axioms
- Distinct volume subsets via indiscernibles
- A Glimpse of $$ \sum_{3} $$-elementarity
- Perfect subsets of generalized Baire spaces and long games
- On ultrafilter extensions of first-order models and ultrafilter interpretations
- Square compactness and the filter extension property
- On a hypothesis for \({\aleph}_{0}\)-bounded groups
- An undecidable extension of Morley's theorem on the number of countable models
- Automorphisms of algebras of smooth functions and equivalent functions
- The generic pair conjecture for dependent finite diagrams
- How Woodin changed his mind: new thoughts on the continuum hypothesis
- Generalizations of the Kunen inconsistency
- Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
- Borel canonization of analytic sets with Borel sections
- scientific article; zbMATH DE number 3952742 (Why is no real title available?)
- Easton's theorem for Ramsey and strongly Ramsey cardinals
- Indestructibility properties of Ramsey and Ramsey-like cardinals
- Ramsey theory over partitions. I: Positive Ramsey relations from forcing axioms
- \(\omega_1\)-strongly compact cardinals and normality
- Model theoretic characterizations of large cardinals
- Sigma-Prikry forcing. I: The axioms
- STRUCTURAL PROPERTIES OF THE STABLE CORE
- The large cardinal strength of weak Vopenka’s principle
- scientific article; zbMATH DE number 7649968 (Why is no real title available?)
- Mathematical pull
- Game characterizations and lower cones in the Weihrauch degrees
- COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Strong failures of higher analogs of Hindman's theorem
- Compactness in infinitary Gödel logics
- A note on the normal filters extension property
- Maximal almost disjoint families, determinacy, and forcing
- The tree property at first and double successors of singular cardinals with an arbitrary gap
- Definable towers
- Constructing Wadge classes
- Club-guessing, stationary reflection, and coloring theorems
- The consistency strength of projective absoluteness
- In memoriam: James Earl Baumgartner (1943--2011)
- Infinite decreasing chains in the Mitchell order
- The Borel complexity of von Neumann equivalence
- Proof of a conjecture of Galvin
- A dependent theory with few indiscernibles
- Large cardinals at the brink
- Between Polish and completely Baire
- A weakly normal ultrafilter amenable to its ultrapower
- scientific article; zbMATH DE number 1908324 (Why is no real title available?)
- Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model
- Countable ordinals in indiscernibility spectra
- Weak Vopěnka's principle does not imply Vopěnka's principle
- Infinitary Jónsson functions and elementary embeddings
- Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985
- Prikry-type forcing and the set of possible cofinalities
- Reflection principles and second-order choice principles with urelements
- Generalizing random real forcing for inaccessible cardinals
- The linearity of the Mitchell order
- Pure patterns of order 2
- Weak indestructibility and reflection
- Chang's conjecture with \(\square_{\omega_1, 2}\) from an \(\omega_1\)-Erdős cardinal
- Topological interpretations of provability logic
- Pure \(\Sigma_2\)-elementarity beyond the core
- RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY
- TAKING REINHARDT’S POWER AWAY
- Applying generic coding with help to uniformizations
- A hierarchy of Ramsey-like cardinals
- Two results on extendible cardinals
- Large cardinals and locally defined well-orders of the universe
- LOGICALITY AND MODEL CLASSES
- Tall cardinals in extender models
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe
- MAKER–BREAKER GAMES ON AND
- Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering
- The axiom of infinity and transformations \(j: V \rightarrow V\)
- scientific article; zbMATH DE number 3957089 (Why is no real title available?)
- Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete
- Fresh function spectra
- On the consistency of ZF set theory and its large cardinal extensions
- Generalised pseudointersections
- Forcing and the universe of sets: must we lose insight?
- Guessing models and generalized Laver diamond
- Vopěnka's principle in \(\infty\)-categories
- \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis
- Compactness phenomena around the class of locally projective modules
- Fake reflection
- Indestructibility of compact spaces
- The consistency strength of long projective determinacy
- Projective games on the reals
- Games and Ramsey-like cardinals
- On supercompactness of \(\omega_1\)
- Uncountable structures are not classifiable up to bi-embeddability
- Determined admissible sets
This page was built for publication: The higher infinite. Large cardinals in set theory from their beginnings.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535899)
