On bi-embeddable categoricity of algebraic structures
From MaRDI portal
Publication:2067511
DOI10.1016/J.APAL.2021.103060zbMath1505.03080arXiv2005.07829OpenAlexW3215040499MaRDI QIDQ2067511
Dino Rossegger, Nikolay Bazhenov, M. V. Zubkov
Publication date: 18 January 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.07829
Total orders (06A05) Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pairs of recursive structures
- Minimally generated Boolean algebras
- Generic copies of countable structures
- Computable structures and the hyperarithmetical hierarchy
- Categoricity in hyperarithmetical degrees
- Constructivizability of superatomic Boolean algebras
- Degrees of categoricity and the hyperarithmetic hierarchy
- Eliminating unbounded search in computable algebra
- Turing computable embeddings, computable infinitary equivalence, and linear orders
- Degrees of bi-embeddable categoricity of equivalence structures
- Degrees of autostability relative to strong constructivizations for Boolean algebras
- Equivalence between Fraïssé's conjecture and Jullien's theorem
- Degrees of categoricity for superatomic Boolean algebras
- Degrees of categoricity of computable structures
- Turing's Legacy
- Turing Computability
- Recursive well-orderings
- Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
- Degrees of bi-embeddable categoricity
- Bi‐embeddability spectra and bases of spectra
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Ranked structures and arithmetic transfinite recursion
- Up to equimorphism, hyperarithmetic is recursive
- Effective model theory vs. recursive model theory
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS
This page was built for publication: On bi-embeddable categoricity of algebraic structures