Another Jump Inversion Theorem for Structures

DOI10.1007/978-3-642-39053-1_49zbMath1433.03112OpenAlexW1015896310MaRDI QIDQ5326388

S. Vatev

Publication date: 5 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39053-1_49

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28) Model theory of denumerable and separable structures (03C15)

Related Items (1)

Enumeration Reducibility and Computable Structure Theory

Cites Work

• Generic copies of countable structures
• Computable structures and the hyperarithmetical hierarchy
• Enumerations in computable structure theory
• A Jump Inversion Theorem for the Degree Spectra
• Degrees of Structures
• Effective model theory vs. recursive model theory

This page was built for publication: Another Jump Inversion Theorem for Structures