scientific article

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

large cardinals constructible sets combinatorial principles constructible universe Axiom of Choice Silver machines morasses constructible hierarchy Generalized Continuum Hypothesis covering Theorem Fine Structure of L

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Axiom of choice and related propositions (03E25)

Related Items

Eventually infinite time Turing machine degrees: infinite time decidable reals, μ-definable sets of integers, A maximal bounded forcing axiom, The relative consistency of g < cf(Sym(ω)), Why Predicative Sets?, ON THE UNCOUNTABILITY OF, A fixed point for the jump operator on structures, On skinny stationary subsets of, A Π¹₁-uniformization principle for reals, Structural reflection, shrewd cardinals and the size of the continuum, Generalisations of stationarity, closed and unboundedness, and of Jensen's $\square$, Indestructibility of some compactness principles over models of $\mathsf{PFA} $, STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L, KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS, TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS, Π11‐Martin‐Löf randomness and Π11‐Solovay completeness, The gap‐two cardinal problem for uncountable languages, Superatomic Boolean algebras constructed from morasses, Constructing the constructible universe constructively, SQUARE WITH BUILT-IN DIAMOND-PLUS, SATURATED MODELS FOR THE WORKING MODEL THEORIST, THE ABC'S of Mice, TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE, The consistency strength of hyperstationarity, POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, Countable unions of simple sets in the core model, A Forcing Axiom Deciding the Generalized Souslin Hypothesis, ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES, Applicable Mathematics in a Minimal Computational Theory of Sets, An Elementary Approach to the Fine Structure of L, Some jump-like operations in β-recursion theory, Borel's conjecture in topological groups, Generic absoluteness, Bounded forcing axioms and the continuum, The two-cardinal problem for languages of arbitrary cardinality, Unnamed Item, Pairwise disjoint eight‐shaped curves in hybrid planes, Forcing closed unbounded subsets of $\omega_2$, The strength of Mac Lane set theory, Cellularity and the structure of pseudo-trees, Maximal chains in the Turing degrees, Global co-stationarity of the ground model from a new countable length sequence, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, MODAL STRUCTURALISM AND REFLECTION, A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP, Hyperfine structure theory and gap 1 morasses, A gap 1 cardinal transfer theorem, Club guessing sequences and filters, Ineffable limits of weakly compact cardinals and similar results, Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines, HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC, Analytic and coanalytic families of almost disjoint functions, Strongly unfoldable cardinals made indestructible, Successor levels of the Jensen hierarchy, SET FORCING AND STRONG CONDENSATION FORH(ω₂), The Limits of Predicativity Revisited, INFINITARY TABLEAU FOR SEMANTIC TRUTH, Monocolored topological complete graphs in colorings of uncountable complete graphs, Non-distributive upper semilattice of Kleene degrees, 1998 European Summer Meeting of the Association for Symbolic Logic, On revision operators, The spectrum of elementary embeddings $j: V \to V$, Explicit mathematics with the monotone fixed point principle. II: Models, Necessary uses of abstract set theory in finite mathematics, Beurling moving averages and approximate homomorphisms, SAFE RECURSIVE SET FUNCTIONS, AXIOM I₀ AND HIGHER DEGREE THEORY, V = Land Intuitive Plausibility in set Theory. A Case Study, On Arbitrary sets andZFC, Power set recursion, Are there enough injective sets?, Weakly Compact Cardinals and Nonspecial Aronszajn Trees, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, Some applications of short core models, FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE, INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN, The model $N=\cup \{L[A:$ A countable set of ordinals$\}$], Higher-order logic and disquotational truth, A quasi-lower bound on the consistency strength of PFA, On decidability properties of local sentences, The Galvin-Prikry theorem and set existence axioms, Chang's model and covering properties, A microscopic approach to Souslin-tree construction. II, A microscopic approach to Souslin-tree constructions. I., Observations about Scott and Karp trees, Determinacy in the difference hierarchy of co-analytic sets, Codings and strongly inaccessible cardinals, Effective forcing versus proper forcing, Determinacy of refinements to the difference hierarchy of co-analytic sets, Characters of countably tight spaces and inaccessible cardinals, Squares and covering matrices, Ends of non-metrizable manifolds: a generalized bagpipe theorem, Representable topologies and locally connected spaces, A proof-theoretic characterization of the primitive recursive set functions, Souslin algebra embeddings, On a combinatorial principle of Hajnal and Komjáth, Cardinal characteristics and projective wellorders, Global square sequences in extender models, Infinite combinatorial issues raised by lifting problems in universal algebra, On guessing generalized clubs at the successors of regulars, Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties, Martin’s Axiom does not imply perfectly normal non-archimedean spaces are metrizable, Partitioning the pairs and triples of topological spaces, Total categories with generators, Classes and truths in set theory, Independence of higher Kurepa hypotheses, ◇ at Mahlo cardinals, Inner model operators in $L(\mathbb{R})$, Smooth categories and global $\square$, Large transitive models in local ZFC, The discipline number of a graph, Cardinal transfer properties in extender models, Coherent sequences and threads, An $L$-like model containing very large cardinals, The primal framework. II: Smoothness, The hyper-weak distributive law and a related game in Boolean algebras, On $L_{\infty{}\kappa{}}$-free Boolean algebras, Bounding the consistency strength of a five element linear basis, On a hypothesis for ${\aleph}_{0}$-bounded groups, On a Conjecture Regarding Nonstandard Uniserial Modules, Register computations on ordinals, Diamond, GCH and weak square, Weak systems of determinacy and arithmetical quasi-inductive definitions, Ramsey-like cardinals, Hypermachines, The covering lemma up to a Woodin cardinal, $I_0$ and combinatorics at $\lambda ^+$, Internal sizes in $\mu$-abstract elementary classes, On the consistency of self-referential systems, Constructibility and decidability versus domain independence and absoluteness, ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH, The Ostaszewski square and homogeneous Souslin trees, Diamond principles in Cichoń's diagram, Pseudo P-points and splitting number, Square and non-reflection in the context of $\mathcal P_{\kappa}\lambda$, Large Cardinals and Small Dowker Spaces, The internal consistency of Easton's theorem, Morasses and finite support iterations, Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems, Turing Computations On Ordinals, Order-isomorphic $\eta _1$-orderings in Cohen extensions, Large cardinals and gap-1 morasses, Ordinal machines and admissible recursion theory, Closed maximality principles and generalized Baire spaces, Forcings constructed along morasses, The semi-weak square principle, Lightface $\Sigma^1_2$-indescribable cardinals, The wholeness axiom and Laver sequences, Higher gap morasses, Ia: Gap-two morasses and condensation, $\omega {}^*_ 2U(\omega_ 2)$ can be $C^*$-embedded in $\beta \omega_ 2$, Guessing more sets, HFD and HFC type spaces, with applications, Ultrafilters on 𝜔-their ideals and their cardinal characteristics, A question about Suslin trees and the weak square hierarchy, On index of total boundedness of (strictly) $o$-bounded groups, Comparing inductive and circular definitions: Parameters, complexity and games