Strong axioms of infinity and elementary embeddings

DOI10.1016/0003-4843(78)90031-1zbMath0376.02055OpenAlexW1971801916WikidataQ30048237 ScholiaQ30048237MaRDI QIDQ4154561

William N. Reinhardt, Akihiro Kanamori, Robert M. Solovay

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05) Ordinal and cardinal numbers (03E10)

Related Items (only showing first 100 items - show all)

Identity crises and strong compactness. III: Woodin cardinals ⋮ AD and the supercompactness of ℵ₁ ⋮ Ultrafilters on spaces of partitions ⋮ Universal graphs at the successor of a singular cardinal ⋮ Exactly controlling the non-supercompact strongly compact cardinals ⋮ Supercompact cardinals and trees of normal ultrafilters ⋮ Strongly compact cardinals, elementary embeddings and fixed points ⋮ The metatheory of sets ⋮ An AD-like model ⋮ An Axiom for Nonseparable Borel Theory ⋮ The Partition Property for Certain Extendible Measures on Supercompact Cardinals ⋮ The Ultrafilter Characterization of Huge Cardinals ⋮ Some results concerning strongly compact cardinals ⋮ Stationary reflections for uncountable cofinality ⋮ Mixed Levels of Indestructibility ⋮ Failures of SCH and level by level equivalence ⋮ Self-reference with negative types ⋮ Many-times huge and superhuge cardinals ⋮ ON ${\omega _1}$-STRONGLY COMPACT CARDINALS ⋮ On the Mitchell and Rudin-Keisler orderings of ultrafilters ⋮ The least strongly compact can be the least strong and indestructible ⋮ Some downwards transfer properties for \(\aleph _ 2\) ⋮ Regularity of ultrafilters and the core model ⋮ Infinitary combinatorics and modal logic ⋮ Filter spaces: Towards a unified theory of large cardinal and embedding axioms ⋮ Higher order reflection principles ⋮ Implications between strong large cardinal axioms ⋮ Patterns of compact cardinals ⋮ On ideals and stationary reflection ⋮ Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness ⋮ The ⊲-ordering on normal ultrafilters ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ HOD-supercompactness, Indestructibility, and Level by Level Equivalence ⋮ Double helix in large large cardinals and iteration of elementary embeddings ⋮ The weak □* is really weaker than the full □ ⋮ Vopěnka's principle and compact logics ⋮ Supercompact cardinals, trees of normal ultrafilters, and the partition property ⋮ Set theory and the analyst ⋮ P_κλ combinatorics II: The RK ordering beneath a supercompact measure ⋮ On the least strongly compact cardinal ⋮ Indestructibility of Vopěnka's principle ⋮ Consecutive singular cardinals and the continuum function ⋮ Indestructible strong compactness but not supercompactness ⋮ Between strong and superstrong ⋮ Strong combinatorial principles and level by level equivalence ⋮ A model of the generic Vopěnka principle in which the ordinals are not Mahlo ⋮ The tree property and the failure of SCH at uncountable cofinality ⋮ Kunen and set theory ⋮ Identity crises and strong compactness ⋮ On tall cardinals and some related generalizations ⋮ Believing the axioms. II ⋮ Large Cardinals and Strong Model Theoretic Transfer Properties ⋮ The Ultrapower Axiom ⋮ An \(L\)-like model containing very large cardinals ⋮ Iterated extended ultrapowers and supercompactness without choice ⋮ The left distributive law and the freeness of an algebra of elementary embeddings ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ The core model for sequences of measures. I ⋮ On precipitousness of the nonstationary ideal over a supercompact ⋮ On a combinatorial property of menas related to the partition property for measures on supercompact cardinals ⋮ Square in Core Models ⋮ Indestructibility, instances of strong compactness, and level by level inequivalence ⋮ On the ordering of certain large cardinals ⋮ A new characterization of supercompactness and applications ⋮ An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension ⋮ Diamond, square, and level by level equivalence ⋮ Generic Vopěnka cardinals and models of ZF with few \(\aleph _1\)-Suslin sets ⋮ Bounded stationary reflection ⋮ Splitting Strongly Almost Disjoint Families ⋮ On the singular cardinals problem. I ⋮ Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing ⋮ Weak Vopěnka's principle does not imply Vopěnka's principle ⋮ Free distributive groupoids ⋮ Normal Filters Generated by a Family of Sets ⋮ Indestructibility and stationary reflection ⋮ Indestructibility under adding Cohen subsets and level by level equivalence ⋮ Boolean powers of abelian groups ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Martin’s maximum and weak square ⋮ ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC ⋮ There are many normal ultrafilters corresponding to a supercompact cardinal ⋮ Successors of singular cardinals and measurability ⋮ Tallness and level by level equivalence and inequivalence ⋮ On the role of supercompact and extendible cardinals in logic ⋮ Indestructible strong compactness and level by level inequivalence ⋮ Determinacy implies that \(\aleph_ 2\) is supercompact ⋮ Another Use of Set Theory ⋮ The wholeness axiom and Laver sequences ⋮ The large cardinals between supercompact and almost-huge ⋮ Generalizing the Mahlo hierarchy, with applications to the Mitchell models ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ The κ-closed unbounded filter and supercpmpact cardinals ⋮ Critical points in an algebra of elementary embeddings ⋮ Large ideals on small cardinals ⋮ New proofs of the consistency of the normal Moore space conjecture. II ⋮ Measurability and degrees of strong compactness ⋮ Some partition relations for ideals on \(P_{\kappa}\lambda\) ⋮ Non-closure of the image model and absence of fixed points ⋮ Notes on singular cardinal combinatorics ⋮ Infinitary Jónsson functions and elementary embeddings

This page was built for publication: Strong axioms of infinity and elementary embeddings