HKSS-completeness of modal algebras

DOI10.33048/SEMI.2021.18.070OpenAlexW3200640779MaRDI QIDQ2234421

Nikolay Bazhenov

Publication date: 19 October 2021

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2021.18.070

zbMATH Keywords

first-order definabilitycategoricity spectrumcomputable structurecomputable dimensionmodal algebraBoolean algebra with operatorsdegree spectrum

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• Unnamed Item
• Unnamed Item
• Isomorphisms and algorithmic properties of structures with two equivalences
• The complexity of computable categoricity
• Categoricity spectra for polymodal algebras
• Computable isomorphisms of Boolean algebras with operators
• Autostability of models
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Degrees of categoricity of computable structures
• Degrees coded in jumps of orderings
• Normal monomodal logics can simulate all others
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• Computable Contact Algebras
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
• The theory of projective planes is complete with respect to degree spectra and effective dimensions

This page was built for publication: HKSS-completeness of modal algebras