Degrees of categoricity for superatomic Boolean algebras

DOI10.1007/s10469-013-9233-xzbMath1315.03052OpenAlexW2069010287MaRDI QIDQ2434601

Nikolay Bazhenov

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

zbMATH Keywords

superatomic Boolean algebrasdegree of categoricitycomputable categoricity

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) Categoricity and completeness of theories (03C35)

Related Items (13)

Degrees of autostability for prime 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 ⋮ Degrees of categoricity of trees and the isomorphism problem ⋮ Index sets of autostable relative to strong constructivizations constructive models for familiar classes ⋮ On decidable categoricity and almost prime models ⋮ DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION ⋮ Degrees of categoricity of rigid structures ⋮ Categoricity spectra of computable structures ⋮ Turing degrees of complete formulas of almost prime models ⋮ On bi-embeddable categoricity of algebraic structures ⋮ Autostability spectra for Boolean algebras

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Degrees of categoricity for superatomic Boolean algebras