Jump inversions of algebraic structures and Σ‐definability

DOI10.1002/malq.201800015OpenAlexW2884086238MaRDI QIDQ5108844

Antonio Montalbán, M. Kh. Fajzrakhmanov, V. G. Puzarenko, Asher M. Kach, Iskander Sh. Kalimullin

Publication date: 6 May 2020

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

Full work available at URL: https://doi.org/10.1002/malq.201800015

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Semidecidable numberings in admissible sets

Cites Work

• Reducibility on families
• The jump operation for structure degrees
• Generic copies of countable structures
• Computable structures and the hyperarithmetical hierarchy
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Enumerations in computable structure theory
• Rice sequences of relations
• Notes on the Jump of a Structure
• A Jump Inversion Theorem for the Degree Spectra
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• A Jump Inversion Theorem for the Degree Spectra
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Jump inversions of algebraic structures and Σ‐definability