Recursive well-orderings

DOI10.2307/2266902zbMATH Open0067.00303OpenAlexW1999737391MaRDI QIDQ3227571FDOQ3227571

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

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

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)