Degrees of categoricity for superatomic Boolean algebras
From MaRDI portal
Publication:2434601
DOI10.1007/s10469-013-9233-xzbMath1315.03052MaRDI QIDQ2434601
Publication date: 6 February 2014
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-013-9233-x
03C57: Computable structure theory, computable model theory
03D28: Other Turing degree structures
03C35: Categoricity and completeness of theories
Related Items
DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION, Degrees of categoricity of trees and the isomorphism problem, Index sets of autostable relative to strong constructivizations constructive models for familiar classes, Degrees of autostability for prime Boolean algebras, Degrees of categoricity of rigid structures, Categoricity spectra of computable structures, On bi-embeddable categoricity of algebraic structures, On decidable categoricity and almost prime models, Turing degrees of complete formulas of almost prime models, Autostability spectra for Boolean algebras, Degrees of autostability relative to strong constructivizations for Boolean algebras, Degrees of autostability for linear orders and linearly ordered abelian groups, Prime Model with No Degree of Autostability Relative to Strong Constructivizations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Autostability of models
- Computable structures and the hyperarithmetical hierarchy
- Categoricity in hyperarithmetical degrees
- Constructivizability of superatomic Boolean algebras
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
- Degrees of categoricity and the hyperarithmetic hierarchy
- Degrees of autostability relative to strong constructivizations
- Enumerations in computable structure theory
- Degrees of categoricity of computable structures
- Recursive isomorphism types of recursive Boolean algebras
- Intrinsic bounds on complexity and definability at limit levels