Degrees of autostability for prime Boolean algebras

DOI10.1007/s10469-018-9483-8zbMath1485.03107OpenAlexW2883337943WikidataQ129486099 ScholiaQ129486099MaRDI QIDQ1620777

Nikolay Bazhenov, Margaret I. Marchuk

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-9483-8

zbMATH Keywords

Boolean algebracategoricity spectrumdegree of categoricityautostabilitycomputable modelcomputable categoricityprime modeldecidable modelautostability relative to strong constructivizationsautostability spectrumdegree of autostability

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The index set of Boolean algebras autostable relative to strong constructivizations
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Pairs of recursive structures
• Generic copies of countable structures
• Autostability of models
• Strong and weak constructivization and computable families
• Computable structures and the hyperarithmetical hierarchy
• Degrees of categoricity and the hyperarithmetic hierarchy
• Autostability spectra for Boolean algebras
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Degrees of categoricity vs. strong degrees of categoricity
• Degrees of categoricity for superatomic Boolean algebras
• Degrees of autostability relative to strong constructivizations
• Degrees of categoricity of computable structures
• Prime Model with No Degree of Autostability Relative to Strong Constructivizations
• Recursive isomorphism types of recursive Boolean algebras
• d-computable categoricity for algebraic fields
• Recursive prime models for Boolean algebras
• Computable categoricity for algebraic fields with splitting algorithms
• Effective model theory vs. recursive model theory
• Categoricity spectra for rigid structures

This page was built for publication: Degrees of autostability for prime Boolean algebras