The fine structure of the constructible hierarchy
From MaRDI portal
Publication:5672886
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
Descriptive set theory (03E15) Large cardinals (03E55) Hierarchies of computability and definability (03D55)
Related Items (only showing first 100 items - show all)
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
This page was built for publication: The fine structure of the constructible hierarchy
