Jump inversions of algebraic structures and the -definability

DOI10.1007/S10469-018-9488-3MaRDI QIDQ1620784zbMATH OpenOpenAlexFDO

Authors Vadim G. Puzarenko, Iskander Kalimullin, Asher M. Kach, Antonio Montalbán, Marat Kh. Faizrahmanov

Publication date 14 November 2018

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-018-9488-3

Mathematics Subject Classification ID

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

Recommendations

• Jump inversions of algebraic structures and Σ‐definability
• scientific article; zbMATH DE number 1302874
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
• scientific article; zbMATH DE number 7360060
• scientific article; zbMATH DE number 2063225
• scientific article; zbMATH DE number 1088200
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees
• scientific article; zbMATH DE number 1354096

Cites work

• A certain reducibility on admissible sets
• A Jump Inversion Theorem for the Degree Spectra
• A Jump Inversion Theorem for the Degree Spectra
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• Computability theoretic classifications for classes of structures
• Enumerations in computable structure theory
• scientific article; zbMATH DE number 934359 (Why is no real title available?)
• scientific article; zbMATH DE number 5049507 (Why is no real title available?)
• Notes on the Jump of a Structure
• Reducibility on families
• Rice sequences of relations
• The jump operation for structure degrees

Cited in

(4)

• Degrees of enumerations of countable Wehner-like families
• scientific article; zbMATH DE number 7360060 (Why is no real title available?)
• Jump inversions of algebraic structures and Σ‐definability
• Bi‐embeddability spectra and bases of spectra

This page was built for publication: Jump inversions of algebraic structures and the \({\Sigma}\)-definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1620784)