Strong axioms of infinity and elementary embeddings
DOI10.1016/0003-4843(78)90031-1zbMATH Open0376.02055OpenAlexW1971801916WikidataQ30048237 ScholiaQ30048237MaRDI QIDQ4154561FDOQ4154561
Authors: Robert M. Solovay, William N. Reinhardt, Akihiro Kanamori
Publication date: 1978
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(78)90031-1
Other combinatorial set theory (03E05) Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Large cardinals (03E55)
Cited In (only showing first 100 items - show all)
- An \(L\)-like model containing very large cardinals
- On the least strongly compact cardinal
- HOD-supercompactness, indestructibility, and level by level equivalence
- On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
- Indestructibility of Vopěnka's principle
- Infinitary combinatorics and modal logic
- When Does Almost Free Imply Free? (For Groups, Transversals, etc.)
- Combinatorial Characterization of Supercompact Cardinals
- The metatheory of sets
- The weak □* is really weaker than the full □
- Critical points in an algebra of elementary embeddings
- Bounded stationary reflection
- On the singular cardinals problem. I
- On the strong equality between supercompactness and strong compactness
- Square in core models
- The ⊲-ordering on normal ultrafilters
- Universal graphs at the successor of a singular cardinal
- A note on a result of Kunen and Pelletier
- Indestructibility, instances of strong compactness, and level by level inequivalence
- The core model for sequences of measures. I
- Possible behaviours for the Mitchell ordering II
- THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS
- Stationary reflections for uncountable cofinality
- Indestructible strong compactness but not supercompactness
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
- Splitting Strongly Almost Disjoint Families
- Indestructibility and stationary reflection
- A new characterization of supercompactness and applications
- On the role of supercompact and extendible cardinals in logic
- Failures of SCH and level by level equivalence
- The least strongly compact can be the least strong and indestructible
- Diamond, square, and level by level equivalence
- The tree property and the failure of SCH at uncountable cofinality
- A model for a very good scale and a bad scale
- Large Cardinals and Strong Model Theoretic Transfer Properties
- On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
- Reflecting stationary sets
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- On \(\omega_1\)-strongly compact cardinals
- In memoriam: James Earl Baumgartner (1943--2011)
- Martin’s maximum and weak square
- Some partition relations for ideals on \(P_{\kappa}\lambda\)
- Laver indestructibility and the class of compact cardinals
- Braid Groups and Left Distributive Operations
- Another Use of Set Theory
- On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
- The Ultrafilter Characterization of Huge Cardinals
- Left division in the free left distributive algebra on many generators
- On tall cardinals and some related generalizations
- Regularity of ultrafilters and the core model
- Implications between strong large cardinal axioms
- Boolean powers of abelian groups
- Surrealist landscape with figures (a survey of recent results in set theory)
- Believing the axioms. II
- The wholeness axiom and Laver sequences
- Consistency Results Concerning Supercompactness
- The linearity of the Mitchell order
- Some downwards transfer properties for \(\aleph _ 2\)
- The left distributive law and the freeness of an algebra of elementary embeddings
- Higher order reflection principles
- THE CLUB GUESSING IDEAL: COMMENTARY ON A THEOREM OF GITIK AND SHELAH
- New proofs of the consistency of the normal Moore space conjecture. II
- Notes on singular cardinal combinatorics
- On the Mitchell and Rudin-Keisler orderings of ultrafilters
- Between strong and superstrong
- On ideals and stationary reflection
- Double helix in large large cardinals and iteration of elementary embeddings
- Laver sequences for extendible and super-almost-huge cardinals
- Topological Applications of Generic Huge Embeddings
- Tallness and level by level equivalence and inequivalence
- Potent Axioms
- Kunen and set theory
- Many-times huge and superhuge cardinals
- Generalizing the Mahlo hierarchy, with applications to the Mitchell models
- Laver and set theory
- Normal measures on large cardinals
- There are many normal ultrafilters corresponding to a supercompact cardinal
- \(I_0\) and combinatorics at \(\lambda ^+\)
- An Axiom for Nonseparable Borel Theory
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Identity crises and strong compactness
- CHARACTERIZATION OF □κ IN CORE MODELS
- AD and patterns of singular cardinals below Θ
- Identity crises and strong compactness. III: Woodin cardinals
- Group radicals and strongly compact cardinals
- Vopěnka's principle and compact logics
- Supercompact cardinals, trees of normal ultrafilters, and the partition property
- Self-reference with negative types
- GENERIC LARGE CARDINALS AS AXIOMS
- WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
- Measurability and degrees of strong compactness
- Precisely controlling level by level behavior
- NORMAL MEASURES ON A TALL CARDINAL
- Filter spaces: Towards a unified theory of large cardinal and embedding axioms
- The Ultrapower Axiom
- Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice
- Large cardinals, inner models, and determinacy: an introductory overview
- Title not available (Why is that?)
- Successors of singular cardinals and measurability
- The Ultrapower Axiom and the GCH
This page was built for publication: Strong axioms of infinity and elementary embeddings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154561)