scientific article; zbMATH DE number 3861143

MaRDI QIDQ3329455zbMATH OpenFDO

Authors Keith Devlin

Publication date 1984

Recommendations

Constructibility
scientific article; zbMATH DE number 218598
Relative constructivity
Constructive complexity
Constructibility and Geometry
scientific article; zbMATH DE number 50686
Constructible invariants
scientific article; zbMATH DE number 2233169
scientific article; zbMATH DE number 2147476
Constructor theory

Cited in

(only showing first 100 items - show all)

Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
Order-isomorphic \(\eta _1\)-orderings in Cohen extensions
Large cardinals and gap-1 morasses
Ordinal machines and admissible recursion theory
Necessary uses of abstract set theory in finite mathematics
Some applications of short core models
The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
The Galvin-Prikry theorem and set existence axioms
Chang's model and covering properties
The discipline number of a graph
The primal framework. II: Smoothness
On \(L_{\infty{}\kappa{}}\)-free Boolean algebras
Power set recursion
The universe constructed from a sequence of ordinals
The wholeness axiom and Laver sequences
On index of total boundedness of (strictly) \(o\)-bounded groups
Determinacy of refinements to the difference hierarchy of co-analytic sets
On a hypothesis for \({\aleph}_{0}\)-bounded groups
Diamond principles in Cichoń's diagram
Constructions preserving evasiveness and collapsibility
HFD and HFC type spaces, with applications
Combinatorial principles in the core model for one Woodin cardinal
The consistency strength of projective absoluteness
Observations about Scott and Karp trees
Determinacy in the difference hierarchy of co-analytic sets
Effective forcing versus proper forcing
Inner model operators in \(L(\mathbb{R})\)
Smooth categories and global
Internal sizes in \(\mu\)-abstract elementary classes
The Ostaszewski square and homogeneous Souslin trees
Higher-order logic and disquotational truth
Pseudo P-points and splitting number
Closed maximality principles and generalized Baire spaces
The semi-weak square principle
Guessing more sets
The spectrum of elementary embeddings \(j: V \to V\)
Are there enough injective sets?
A microscopic approach to Souslin-tree constructions. I.
Codings and strongly inaccessible cardinals
Large transitive models in local ZFC
Coherent sequences and threads
The hyper-weak distributive law and a related game in Boolean algebras
Constructibility and decidability versus domain independence and absoluteness
Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
A microscopic approach to Souslin-tree construction. II
Ends of non-metrizable manifolds: a generalized bagpipe theorem
Martin's Axiom does not imply perfectly normal non-archimedean spaces are metrizable
\(\diamondsuit\) at Mahlo cardinals
Beurling moving averages and approximate homomorphisms
Weak systems of determinacy and arithmetical quasi-inductive definitions
Ramsey-like cardinals
Hypermachines
On the consistency of self-referential systems
Weakly Compact Cardinals and Nonspecial Aronszajn Trees
Fine structure
\(\Sigma ^{*}\) fine structure
The covering lemma
Forcings constructed along morasses
On revision operators
V = L and intuitive plausibility in set theory. A case study
On arbitrary sets and ZFC
FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
A quasi-lower bound on the consistency strength of PFA
Turing Computations On Ordinals
Lightface \Sigma^1_2-indescribable cardinals
Weak systems of Gandy, Jensen and Devlin
Safe recursive set functions
AXIOM I₀ AND HIGHER DEGREE THEORY
Diamond, GCH and weak square
Ultimate truth vis-à-vis stable truth
Transitive substructures of L_
Morasses and finite support iterations
On a combinatorial principle of Hajnal and Komjáth
Characters of countably tight spaces and inaccessible cardinals
Squares and covering matrices
A proof-theoretic characterization of the primitive recursive set functions
Higher gap morasses, Ia: Gap-two morasses and condensation
Ultrafilters on 𝜔-their ideals and their cardinal characteristics
Non-distributive upper semilattice of Kleene degrees
1998 European Summer Meeting of the Association for Symbolic Logic
Relative constructivity
Explicit mathematics with the monotone fixed point principle. II: Models
On a Conjecture Regarding Nonstandard Uniserial Modules
Jensen's Σ* theory and the combinatorial content of V = L
Large Cardinals and Small Dowker Spaces
THE ABC'S of Mice
Condensation and large cardinals
An Elementary Approach to the Fine Structure of L
Infinite combinatorial issues raised by lifting problems in universal algebra
Classes and truths in set theory
Eventually infinite time Turing machine degrees: infinite time decidable reals
Independence of higher Kurepa hypotheses
A maximal bounded forcing axiom
The relative consistency of g < cf(Sym(ω))
Applicable mathematics in a minimal computational theory of sets
A Forcing Axiom Deciding the Generalized Souslin Hypothesis
ZFC proves that the class of ordinals is not weakly compact for definable classes
scientific article; zbMATH DE number 218598 (Why is no real title available?)
Superatomic Boolean algebras constructed from morasses

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3329455)