Set theory. An introduction to large cardinals

zbMath0294.02034MaRDI QIDQ1212459

F.R.Drake

Publication date: 1974

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Trees (05C05) Model-theoretic algebra (03C60) 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) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other infinitary logic (03C75) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Other model constructions (03C30) Other classical first-order model theory (03C68) Set theory (03Exx)

Related Items (98)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ A theory of infinitary relations extending Zermelo's theory of infinitary propositions ⋮ The spectrum of elementary embeddings \(j: V \to V\) ⋮ Scott induction and closure under \(\omega\)-sups ⋮ Applications of cohomology to set theory. I: Hausdorff gaps ⋮ Principles of reflection and second-order logic ⋮ Some applications of short core models ⋮ The Existence of Universal Invariant Semiregular Measures on Groups ⋮ Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger) ⋮ Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ Semiregular Invariant Measures on Abelian Groups ⋮ A microscopic approach to Souslin-tree construction. II ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Strong unfoldability, shrewdness and combinatorial consequences ⋮ Weak partition relations and measurability ⋮ Remarks on Levy's reflection axiom ⋮ Fibers of continuous real-valued functions on \(\psi\)-spaces ⋮ Über Partitionen endlicher Teilmengen ⋮ Set theory and the analyst ⋮ How to Choose New Axioms for Set Theory? ⋮ Combinatorics on large cardinals ⋮ Remarks on the existence of measurable selectors ⋮ Properties of subtle cardinals ⋮ Zur Realisierung unabhängiger kanonischer Paare ⋮ The Recursively Mahlo Property in Second Order Arithmetic ⋮ Bootstrapping. I ⋮ Inner Models and Large Cardinals ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS ⋮ An introduction to the axiomatics of procedures of aggregation ⋮ Ordinal notations based on a weakly Mahlo cardinal ⋮ Fast freie Abelsche Gruppen mit Endomorphismenring Z ⋮ A few remarks on Rowbottom cardinals ⋮ Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small ⋮ Unnamed Item ⋮ Absolute Infinity in Class Theory and in Theology ⋮ Stretchings ⋮ Indestructibility of Wholeness ⋮ Suitable sets for paratopological groups ⋮ Derived topologies on ordinals and stationary reflection ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Sets and supersets ⋮ Definable Ramsey and definable Erdös ordinals ⋮ On the Boundary Behavior of Holomorphic and Harmonic Functions ⋮ Inter-universal Teichmüller theory. IV: Log-volume computations and set-theoretic foundations ⋮ Toward a modal-structural interpretation of set theory ⋮ Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets ⋮ On existence in set theory ⋮ Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers ⋮ Generalization of Gleason's theorem ⋮ Generalization of Gleason's theorem ⋮ Sequentially complete groups: Dimension and minimality ⋮ Unnamed Item ⋮ An ordinal analysis of stability ⋮ The Existence of Nonmeasurable Sets for Invariant Measures ⋮ ϱ-inaccessible ordinals, collapsing functions and a recursive notation system ⋮ Modal logics that need very large frames ⋮ THE POTENTIAL HIERARCHY OF SETS ⋮ On the ordering of certain large cardinals ⋮ Localizing the axioms ⋮ An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension ⋮ -Products of injective, flat, and projective modules ⋮ Models of Second-Order Zermelo Set Theory ⋮ No elementary embedding from v into v is definable from parameters ⋮ On constructing indecomposable groups in L ⋮ Robinson forcing is not absolute ⋮ A co-analytic maximal set of orthogonal measures ⋮ On the Gitik-Shelah theorem ⋮ ON RAMSEY’S THEOREM AND THE EXISTENCE OF INFINITE CHAINS OR INFINITE ANTI-CHAINS IN INFINITE POSETS ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ Foundations of Fatou theory and a tribute to the work of E. M. Stein on boundary behavior of holomorphic functions ⋮ Maximality and ontology: how axiom content varies across philosophical frameworks ⋮ The measure quantifier ⋮ On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture ⋮ Partial orderings for sets of multisets ⋮ On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent ⋮ Early History of the Generalized Continuum Hypothesis: 1878–1938 ⋮ Inclusion modulo nonstationary ⋮ Hereditarily finite sets and identity trees ⋮ A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection ⋮ Ultrapowers and boolean ultrapowers of θ and θ1 ⋮ Subordinate statistical structures ⋮ Relations between two types of polarized partitions ⋮ Unnamed Item ⋮ Families close to disjoint ones ⋮ The wholeness axiom and Laver sequences ⋮ A dual form of Ramsey's theorem ⋮ Extenders, embedding normal forms, and the Martin-Steel-theorem ⋮ Ultimate stochastic entities ⋮ Generalizing the Mahlo hierarchy, with applications to the Mitchell models ⋮ The κ-closed unbounded filter and supercpmpact cardinals ⋮ Homological Algebra and Set Theory ⋮ A critical appraisal of second-order logic ⋮ Stepping up lemmas in definable partitions

This page was built for publication: Set theory. An introduction to large cardinals