The index set of Boolean algebras autostable relative to strong constructivizations

DOI10.1134/S0037446615030039MaRDI QIDQ498225zbMATH OpenOpenAlexFDO

Authors S. S. Goncharov, Nikolay Bazhenov, Margaret I. Marchuk

Publication date 28 September 2015

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0037446615030039

zbMATH Keywords

autostabilityautostability relative to strong constructivizationsBoolean algebracommutative semigroupcomputable modeldistributive latticehyperarithmetic hierarchyindex setpartial orderringstrongly constructivizable model

Mathematics Subject Classification ID

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

Recommendations

• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Index sets of constructive models that are autostable under strong constructivizations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• The index set of the groups autostable relative to strong constructivizations
• Boolean algebras autostable relative to \(n\)-decidable presentations

Cites work

• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Boolean algebras, Tarski invariants, and index sets
• Complexity of Categorical Theories with Computable Models
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 934728 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3404221 (Why is no real title available?)
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Index sets of constructive models that are autostable under strong constructivizations
• Model theory
• Non Σ_n axiomatizable almost strongly minimal theories
• Pairs of recursive structures
• Recursive prime models for Boolean algebras
• Strong and weak constructivization and computable families

Cited in

(17)

• Degrees of autostability for prime Boolean algebras
• Categoricity spectra of computable structures
• The degree of decidable categoricity of a model with infinite solutions for complete formulas
• A note on decidable categoricity and index sets
• On decidable categoricity and almost prime models
• The index set of the groups autostable relative to strong constructivizations
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Boolean algebras, Tarski invariants, and index sets
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Reconstructing structures with the strong small index property up to bi-definability
• Index sets of constructive models that are autostable under strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations
• Decidable categoricity spectra for almost prime models
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes

This page was built for publication: The index set of Boolean algebras autostable relative to strong constructivizations

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