Recursive well-orderings

DOI10.2307/2266902MaRDI QIDQ3227571zbMATHOpenAlexFDO

Authors Clifford Spector

Publication date 1955

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2266902

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Recursively enumerable sets of positive integers and their decision problems
• The upper semi-lattice of degrees of recursive unsolvability
• Zur Theorie der konstruktiven Wohlordnungen

Cited in

(63)

• On Minimal and Almost-Minimal Systems of Notations
• A Π¹₁-uniformization principle for reals
• Über die Bestimmbarkeit des Verhaltens von Algorithmen
• Algorithmic complexity for theories of commutative Kleene algebras
• Iterated priority arguments in descriptive set theory
• The Π21$\Pi ^1_2$ consequences of a theory
• La prédicativité
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• Classifications of Recursive Functions by Means of Hierarchies
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
• Infinite time extensions of Kleene's \({\mathcal O}\)
• Number theoretic concepts and recursive well-orderings
• Inductive definability: Measure and category
• Ungroundedness in Tarskian languages
• A variation of Richter's construction of ordinals
• On a Π⁰₁ Set of Positive Measure
• Recursive nets
• On the reducibility of \(\Pi_ 1^ 1\) sets
• Ranked structures and arithmetic transfinite recursion
• Borel ideals vs. Borel sets of countable relations and trees
• A complete classification of the Δ₂¹-functions
• The Forcing Method and the Upper Semilattice of Hyperdegrees
• Analytic equivalence relations satisfying hyperarithmetic-is-recursive
• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• On the Equimorphism Types of Linear Orderings
• Some results in the effective descriptive set theory
• A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
• Classes of Polish spaces under effective Borel isomorphism
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• A hierarchy of computably enumerable degrees
• Hyperarithmetical Sets
• Decision times of infinite computations
• On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
• Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
• A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
• Computable linearizations of well-partial-orderings
• Degree-invariant, analytic equivalence relations without perfectly many classes
• The Dyck and the Preiss separation uniformly
• Recursive Functions Over Well Ordered Partial Orderings
• Kleene's amazing second recursion theorem
• Hierarchies in Recursive Function Theory
• Metarecursively enumerable sets and admissible ordinals
• Optimal bounds for ordinal comparison maps
• Kleene’s Amazing Second Recursion Theorem
• Degrees of orderings not isomorphic to recursive linear orderings
• On the First Order Theory of the Arithmetical Degrees
• A Hierarchy Based on a Type Two Object
• The Mathematical Work of S.C.Kleene
• Ordinal analysis of partial combinatory algebras
• Minimal Covers and Hyperdegrees
• On bi-embeddable categoricity of algebraic structures
• The weakness of the pigeonhole principle under hyperarithmetical reductions
• On a problem of Kleene’s
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Using computability to measure complexity of algebraic structures and classes of structures
• Cuts of linear orders
• Constructive Versions of Ordinal Number Classes
• A Note on Function Quantification
• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• On a class of recursive hierarchies
• Predicativity and Feferman
• Recursive Pseudo-Well-Orderings

This page was built for publication: Recursive well-orderings

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