Jump inversions of algebraic structures and the \({\Sigma}\)-definability
From MaRDI portal
Publication:1620784
DOI10.1007/S10469-018-9488-3zbMath1451.03024OpenAlexW2964329487MaRDI QIDQ1620784
V. G. Puzarenko, Antonio Montalbán, Asher M. Kach, Iskander Sh. Kalimullin, M. Kh. Fajzrakhmanov
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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Bi‐embeddability spectra and bases of spectra ⋮ Degrees of enumerations of countable Wehner-like families
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reducibility on families
- The jump operation for structure degrees
- 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
This page was built for publication: Jump inversions of algebraic structures and the \({\Sigma}\)-definability
