The fine structure of the constructible hierarchy

DOI10.1016/0003-4843(72)90001-0zbMath0257.02035OpenAlexW2122092051WikidataQ56390909 ScholiaQ56390909MaRDI QIDQ5672886

Publication date: 1972

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(72)90001-0

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Hierarchies of computability and definability (03D55)

Related Items

The countable chain condition for $C^\ast$-algebras, The basic theory of partial $\alpha$-recursive operators, Monocolored topological complete graphs in colorings of uncountable complete graphs, Corrigendum to ``Generalized Martin's axiom and Souslin's hypothesis for higher cardinals, A system of axioms for Minkowski spacetime, Square and delta reflection, A simpler proof of Jensen's coding theorem, On the width of ordered sets and Boolean algebras, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, Almost compatible functions and infinite length games, Strong coding, Partitioning pairs of countable ordinals, Regularity of ultrafilters and the core model, Arbitrary torsion classes and almost free abelian groups, Minimal coding, Aronszajn trees and the successors of a singular cardinal, Random trees under CH, The theory of the $\alpha $ degrees is undecidable, Operations, climbability and the proper forcing axiom, Separating weak partial square principles, Indestructibility of compact spaces, $\Delta$-languages for sets and LOGSPACE computable graph transformers, Number of models in $L_{\infty,\omega_1}$ theories. II, Reflection and indescribability in the constructible universe, Scales at ${\aleph_{\omega} }$, $\alpha$-Specker spaces, Scales of minimal complexity in ${K(\mathbb{R})}$, A counter-example in the partition calculus for an uncountable ordinal, Post's problem without admissibility, Cobham recursive set functions, A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees, Global square sequences in extender models, Local coherence., $\lambda$-structures and $s$-structures: translating the models, On guessing generalized clubs at the successors of regulars, $\lambda$-structures and $s$-structures: translating the iteration strategies, Global square and mutual stationarity at the $\aleph_n$, Darstellung von Ringen als Endomorphismenringe, Transforming rectangles into squares, with applications to strong colorings, Fast freie Abelsche Gruppen mit Endomorphismenring Z, Every cotorsion-free algebra is an endomorphism algebra, Cardinal transfer properties in extender models, Projecting precipitousness, Model theory of the regularity and reflection schemes, Fragility and indestructibility. II, The Hurewicz dichotomy for generalized Baire spaces, The covering lemma up to a Woodin cardinal, $I_0$ and combinatorics at $\lambda ^+$, Morasses, semimorasses and supercompact ultrafilters, Characterizing large cardinals in terms of layered posets, Square principles in $\mathbb{P}_{\max}$ extensions, Forcing axioms and stationary sets, $\mu$-complete Souslin trees on $\mu^ +$, Two cardinal versions of diamond, A construction scheme for non-separable structures, Endomorphism rings of Abelian groups as isomorphic restrictions of full endomorphism rings. II, Colouring without triangles and partition relation, Infinite Abelian groups, Whitehead problem and some constructions, Partition relations for uncountable ordinals, Categoricity in $\aleph_1$ of sentences in $L_{\omega_1\omega}(Q)$, Regular variation without limits, Simple complete Boolean algebras, Singular cohomology in $L$, Disjointness conditions in free products of lattices, More on full reflection below ${\aleph_\omega}$, Decomposing uncountable squares to countably many chains, The structure of Ext$(A,\mathbb{Z})$ and $V=L$, A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Groups cannot be Souslin ordered, On constructing indecomposable groups in L, The irregular and non-hyperregular $\alpha$-r.e. degrees, Number of models in $L_{\infty,\omega_1}$-theories, On Shelah's compactness of cardinals, Dense non-reflection for stationary collections of countable sets, A Banach space with few operators, Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems, A model of Cummings and Foreman revisited, Surrealist landscape with figures (a survey of recent results in set theory), Organic and tight, Semi-rigid classes of cotorsion-free Abelian groups, Countably decomposable admissible sets, Ordinal machines and admissible recursion theory, Infinite combinatorics and the foundations of regular variation, More fine structural global square sequences, A diamond-plus principle consistent with AD, On strong chains of uncountable functions, Is there a set of reals not in $K(\mathbb{R})$?, Generalized Martin's axiom and Souslin's hypothesis for higher cardinals, S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees, Characterizing weak compactness, Families close to disjoint ones, Uncountable admissibles. II: Compactness, Butler groups of arbitrary cardinality, On chain conditions in Moore spaces. II, Stationary cardinals, A differentiable manifold with noncoinciding dimensions, Disjointness conditions for free products of $\ell$-groups, The core model for almost linear iterations, Notes on singular cardinal combinatorics, Aronszajn trees and partitions, Approachability and Games on Posets, Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁, V = Land Intuitive Plausibility in set Theory. A Case Study, The real core model and its scales, Determinacy and monotone inductive definitions, An example related to Gregory's theorem, Weakly Compact Cardinals and Nonspecial Aronszajn Trees, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, Conjectures of Rado and Chang and special Aronszajn trees, The wi-club filter on 𝒫κλ, FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE, NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS, On finite-dimensional nonmetrizable manifolds, Finding generic filters by playing games, Higher Souslin trees and the GCH, revisited, A microscopic approach to Souslin-tree construction. II, A microscopic approach to Souslin-tree constructions. I., In memoriam: James Earl Baumgartner (1943--2011), SOME OBSERVATIONS ON TRUTH HIERARCHIES, The dual Baer criterion for non-perfect rings, A representation of recursively enumerable sets through Horn formulas in higher recursion theory, Freely indecomposable almost free groups with free abelianization, Set theory and the analyst, Chang's conjecture and weak square, A characterization of $\square(\kappa^{+})$ in extender models, Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles, The nonabsoluteness of model existence in uncountable cardinals for $L_{\omega_{1},\omega}$, REDUCED POWERS OF SOUSLIN TREES, Products of Michael spaces and completely metrizable spaces, $\clubsuit$ does not imply the existence of a Suslin tree, ◇ at Mahlo cardinals, Inner model operators in $L(\mathbb{R})$, Smooth categories and global $\square$, The distribution of ITRM-recognizable reals, A global version of a theorem of Ben-David and Magidor, Coherent sequences and threads, A brief account of recent developments in inner model theory, A characterization of $\Sigma_1^1$-reflecting ordinals, Weak Ehrenfeucht-Fraïssé games, SQUARES, SCALES AND STATIONARY REFLECTION, The Prospects for Mathematical Logic in the Twenty-First Century, Magidor cardinals, Hypermachines, Tiltan, Core models, Stationary sets added when forcing squares, The core model for sequences of measures. I, Constructibility and decidability versus domain independence and absoluteness, Diagonal supercompact Radin forcing, Arbitrary torsion classes of abelian groups^*, A classification of jump operators, The basic theory of infinite time register machines, Some recent developments in higher recursion theory, On a generalization of Jensen's □_κ, and strategic closure of partial orders, Square in Core Models, The Ostaszewski square and homogeneous Souslin trees, An ordinal analysis of parameter free $\Pi^{1}_{2}$-comprehension, Diamond, square, and level by level equivalence, Construction with opposition: cardinal invariants and games, The Tree Property at $\omega _2$ and Bounded Forcing Axioms, Square and non-reflection in the context of $\mathcal P_{\kappa}\lambda$, Bounded stationary reflection, CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model, Forcing a $\square(\kappa)$-like principle to hold at a weakly compact cardinal, Ramsey theory for highly connected monochromatic subgraphs, Double weakness, Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski, The weakly compact reflection principle need not imply a high order of weak compactness, Telgársky's conjecture may fail, Successive failures of approachability, Turing Computations On Ordinals, Towers and clubs, On the $p$-rank of Ext, Long Borel games, Combinatorial Dichotomies in Set Theory, The first omega alephs: from simplices to trees of trees to higher walks, AN APPLICATION OF RECURSION THEORY TO ANALYSIS, A Computational Approach to an Alternative Working Environment for the Constructible Universe, Square below a non-weakly compact cardinal, AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES, Determinacy separations for class games, Minimal model of $\aleph ^ L_ 1$ is countable and definable reals, Fake reflection, Non-special Aronszajn trees on $\aleph _{\omega +1}$, A functorial $\pi ^ 1_ 2$ singleton, Maximal sets in $\alpha$-recursion theory, The semi-weak square principle, More notions of forcing add a Souslin tree, Adding a nonreflecting weakly compact set, PROOF THEORY OF WEAK COMPACTNESS, Two-cardinal diamond and games of uncountable length, Predicatively computable functions on sets, Indexed squares, Rudimentary recursion, gentle functions and provident sets, Was Ulam right? I: basic theory and subnormal ideals, A guessing principle from a Souslin tree, with applications to topology, KWithout the Measurable, The lost melody theorem for infinite time Blum-Shub-Smale machines, Souslin Dendrons, IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES, On coherent families of finite-to-one functions, Unnamed Item, Why Predicative Sets?, Ramsey theory over partitions III: Strongly Luzin sets and partition relations, Finite level Borel games and a problem concerning the jump hierarchy, SAFE RECURSIVE SET FUNCTIONS, Diamonds, uniformization, COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS, Infinitary combinatorics and modal logic, VARIATIONS ON DETERMINACY AND ℵ_ω₁, Some Undecidability Results Concerning Radon Measures, The combinatorics of combinatorial coding by a real, Extender based forcings, A Subcategory of Top, Hyperarithmetically Encodable Sets, Capacitability for Co-Analytic Sets, Strong compactness and the ultrapower axiom I: the least strongly compact cardinal, Structural reflection, shrewd cardinals and the size of the continuum, A proof-theoretic characterization of the primitive recursive set functions, The strong tree property and weak square, Aronszajn trees, square principles, and stationary reflection, Simultaneous stationary reflection and square sequences, The tree property and the continuum function below, The gap‐two cardinal problem for uncountable languages, Subcomplete forcing principles and definable well‐orders, The consistency strength of successive cardinals with the tree property, Morasses and the Lévy-collapse, The consistency strength of hyperstationarity, Almost local non-α-recursiveness, Finding bases of uncountable free abelian groups is usually difficult, A very weak square principle, Generalizing special Aronszajn trees, Parameter-free uniformisation, Singular Cardinals and the PCF Theory, Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems, Σ_n sets which are Δ_n-incomparable (uniformly), The Mathematical Development of Set Theory from Cantor to Cohen, A characterization of jump operators, BASIS THEOREMS FOR -SETS, Backwards easton forcing and 0^#, A Forcing Axiom Deciding the Generalized Souslin Hypothesis, On partitions into stationary sets, Characterizing large cardinals through Neeman's pure side condition forcing, Homogeneously Suslin sets in tame mice, WEAK SQUARES AND VERY GOOD SCALES, HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES, HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS, THE EIGHTFOLD WAY, Iteration Trees, Faith’s problem on $R$-projectivity is undecidable, Derived topologies on ordinals and stationary reflection, SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS, STABLY MEASURABLE CARDINALS, CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS, Applicable Mathematics in a Minimal Computational Theory of Sets, Almost Souslin Kurepa trees, Cardinal-preserving extensions, An Elementary Approach to the Fine Structure of L, Canonical fragments of the strong reflection principle, The two-cardinal problem for languages of arbitrary cardinality, Unnamed Item, A finite family weak square principle, On splitting stationary subsets of large cardinals, When Does Almost Free Imply Free? (For Groups, Transversals, etc.), On set systems having paradoxical covering properties, COMPUTABILITY IN UNCOUNTABLE BINARY TREES, Partitions and Diamond, 1999 European Summer Meeting of the Association for Symbolic Logic, Creatures on ω₁ and weak diamonds, Weak square bracket relations for P_κ(λ), Regular ultrafilters and finite square principles, Compactness and transfer for a fragment of L², Saturated ideals, Putnam’s Constructivization Argument, The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾, Infinite Rank Butler Groups, Diamonds, compactness, and measure sequences, CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY, A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP, Normal Moore Spaces in the Constructible Universe, Specializing Aronszajn Trees and Preserving Some Weak Diamonds, Jensen's ⃞ principles and the Novák number of partially ordered sets, Local saturation and square everywhere, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, Patterns of projecta, Generalized Quantifiers and Compact Logic, ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS, Reflecting stationary sets, SET FORCING AND STRONG CONDENSATION FORH(ω₂), On the standard part of nonstandard models of set theory, On Weakly Stationary Sets, Putting a diamond inside the square, Formalizing Scientifically Applicable Mathematics in a Definitional Framework, Homological Algebra and Set Theory, Forcing closed unbounded sets, The maximality of the core model, (Weak) diamond can fail at the least inaccessible cardinal, On regular reduced products, Compactness versus hugeness at successor cardinals, A Π¹₁-uniformization principle for reals, Generalisations of stationarity, closed and unboundedness, and of Jensen's $\square$, Club stationary reflection and the special Aronszajn tree property, Covering versus partitioning with Polish spaces, Weak saturation properties and side conditions, The comparison lemma, Interview With a Set Theorist, KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS, Tiltan and superclub, A widely connected topological space made from diamond, Determinacy axioms and large cardinals, Approximating diamond principles on products at an inaccessible cardinal, A simple Efimov space with sequentially-nice space of probability measures, SQUARE WITH BUILT-IN DIAMOND-PLUS, EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE, Reflection principles, GCH and the uniformization properties, The Π21$\Pi ^1_2$ consequences of a theory, Strong Fréchet properties of spaces constructed from squares and AD families, The exact consistency strength of the generic absoluteness for the universally Baire sets, POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, Strong failures of higher analogs of Hindman’s theorem, Weak prediction principles, CHARACTERIZATION OF □_κ IN CORE MODELS, SET MAPPING REFLECTION, The failure of diamond on a reflecting stationary set, Rado's Conjecture and Ascent Paths of Square Sequences, Invariants, Boolean algebras and ACA₀⁺, Gödel and Set Theory, On a superatomic Boolean algebra which is not generated by a well-founded sublattice, Collapsing the cardinals of HOD, The strength of Mac Lane set theory, The domestic levels of $K^c$ are iterable, Endomorphism rings of Abelian groups, Maximal chains in the Turing degrees, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, Determinacy for games ending at the first admissible relative to the play, Hyperfine structure theory and gap 1 morasses, Club guessing sequences and filters, □ on the singular cardinals, Successor levels of the Jensen hierarchy, Effective randomness for continuous measures