The jump operation for structure degrees

DOI10.1007/s00153-004-0245-zzbMath1089.03034OpenAlexW1994014715MaRDI QIDQ818923

V. Baleva

Publication date: 22 March 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0245-z

zbMATH Keywords

reducibilityalgebraic structuresjumpenumeration degreeseffective model theoryinformation complexity measurestructure degree measure

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57)

Related Items (13)

The jump operation for structure degrees ⋮ Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ A fixed point for the jump operator on structures ⋮ Processes and structures on approximation spaces ⋮ On Processes and Structures ⋮ Rice sequences of relations ⋮ Unnamed Item ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Families of permutations and ideals of Turing degrees ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Coding and definability in computable structures ⋮ Properties of \(s\Sigma\)-reducibility

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The jump operation for structure degrees
• Generalizations of enumeration reducibility using recursive infinitary propositional sentences
• Classical recursion theory. Vol. II
• A jump inversion theorem for the enumeration jump
• Every Set has a Least Jump Enumeration
• Jumps of Orderings
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Jumps of quasi-minimal enumeration degrees
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Degrees coded in jumps of orderings
• Orderings with αth Jump Degree 0 (α)
• Maximal Arithmetical Reducibilities
• Degrees of Structures
• Abstract First Order Computability. I
• Arithmetical Reducibilities I

This page was built for publication: The jump operation for structure degrees