The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

DOI10.2178/bsl/1122038994zbMath1098.03051OpenAlexW1969305849MaRDI QIDQ3370614

Noam Greenberg

Publication date: 8 February 2006

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

Full work available at URL: https://hdl.handle.net/1813/154

zbMATH Keywords

r.e. degreeadmissible ordinal\(\alpha\)-r.e. degree

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

COMPUTABILITY IN UNCOUNTABLE BINARY TREES

Cites Work

• Unnamed Item
• Unnamed Item
• On the theory of the PTIME degrees of the recursive sets
• On the recursive functions of ordinal numbers
• A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees
• Conjectures and questions from Gerald Sacks's \textit{Degrees of unsolvability}
• Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
• A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
• Maximal sets in \(\alpha\)-recursion theory
• The undecidability of the recursively enumerable degrees
• On homogeneity and definability in the first-order theory of the Turing degrees
• Finite injury and Σ₁-induction
• Interpretability and Definability in the Recursively Enumerable Degrees
• Recursively enumerable generic sets
• A recursively enumerable degree which will not split over all lesser ones
• The recursively enumerable α-degrees are dense
• Inadmissibility, tame R.E. sets and the admissible collapse
• Uncomplemented C(X)-Subalgebras of C(X)
• Degrees of Unsolvability. (AM-55)
• A formalization of the theory of ordinal numbers
• Metarecursively enumerable sets and admissible ordinals
• Metarecursive sets
• Metarecursively enumerable sets and their metadegrees
• The α-finite injury method
• Some minimal pairs of α-recursively enumerable degrees
• The constructive second number class
• On notation for ordinal numbers
• Consistency-Proof for the Generalized Continuum-Hypothesis

This page was built for publication: The Role of True Finiteness in the Admissible Recursively Enumerable Degrees