scientific article; zbMATH DE number 7360059

zbMath1474.03104MaRDI QIDQ4993818

S. Vatev

Publication date: 16 June 2021

Full work available at URL: https://www.fmi.uni-sofia.bg/en/node/7753

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

structuresdefinabilitycomputability

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• The jump operation for structure degrees
• Generic copies of countable structures
• Elementary induction on abstract structures
• Computable structures and the hyperarithmetical hierarchy
• Rice sequences of relations
• Conservative Extensions of Abstract Structures
• Notes on the Jump of a Structure
• A Jump Inversion Theorem for the Degree Spectra
• Degrees coded in jumps of orderings
• Degrees of Structures
• Effective model theory vs. recursive model theory

This page was built for publication: