Coding in the partial order of enumerable sets

DOI10.1006/aima.1997.1687zbMath0890.03016MaRDI QIDQ1380333

André Nies, Leo Harrington

Publication date: 31 March 1998

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/aima.1997.1687

zbMATH Keywords

definability; coding; true arithmetic; enumerable sets; quasimaximal sets

Mathematics Subject Classification ID

03D35: Undecidability and degrees of sets of sentences

03D25: Recursively (computably) enumerable sets and degrees

Related Items

PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES, Effectively dense Boolean algebras and their applications, Definable Encodings in the Computably Enumerable Sets, Isomorphisms of splits of computably enumerable sets, ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS, Computably enumerable sets and related issues, Boolean pairs formed by the \(\Delta_ n^ 0\)-sets, Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees, Atomless \(r\)-maximal sets, Effectively inseparable Boolean algebras in lattices of sentences, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, On the Lattices of Effectively Open Sets, Interpreting true arithmetic in the -enumeration degrees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability in the Turing degrees
• The elementary theory of recursively enumerable sets
• The last question on recursively enumerable \(m\)-degrees
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• The first order properties of products of algebraic systems
• Hyperarithmetical Index Sets in Recursion Theory
• Interpretability and Definability in the Recursively Enumerable Degrees
• The Theory of the Degrees below 0 ′
• Post's program and incomplete recursively enumerable sets.
• Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras
• Effectively dense Boolean algebras and their applications
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability