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

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