2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms

DOI10.1007/S10958-015-2629-5MaRDI QIDQ5741344zbMATH OpenOpenAlexFDO

Authors Nikolay Bazhenov

Publication date 22 July 2016

Published in Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10958-015-2629-5

zbMATH Keywords

degree of categoricityBoolean algebra with distinguished automorphism

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Cites work

• scientific article; zbMATH DE number 3792144 (Why is no real title available?)
• scientific article; zbMATH DE number 1873435 (Why is no real title available?)
• scientific article; zbMATH DE number 934728 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• Automorphisms of Boolean algebras definable by fixed elements
• Autostability of models
• Autostability of the Boolean algebra \(B_\omega\), enriched with an automorphism
• Autostable I-Algebras
• Computable structures and the hyperarithmetical hierarchy
• Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
• Degrees of autostability relative to strong constructivizations
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Effective procedures in field theory
• Enumerations in computable structure theory
• Intrinsic bounds on complexity and definability at limit levels
• Recursive isomorphism types of recursive Boolean algebras
• \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings

Cited in

(1)

• Categoricity spectra for polymodal algebras

This page was built for publication: 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms

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