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
Boolean algebracategoricity spectrumdegree of categoricityautostabilitycomputable modelcomputable categoricityprime modeldecidable modelautostability relative to strong constructivizationsautostability spectrumdegree of autostability
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
