The index set of Boolean algebras autostable relative to strong constructivizations

DOI10.1134/S0037446615030039zbMath1328.03036OpenAlexW2239099212MaRDI QIDQ498225

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

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

ringBoolean algebradistributive latticeindex setpartial ordercommutative semigroupautostabilitycomputable modelhyperarithmetic hierarchyautostability relative to strong constructivizationsstrongly constructivizable model

Mathematics Subject Classification ID

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

Related Items (8)

The index set of the groups autostable relative to strong constructivizations ⋮ Degrees of autostability for prime Boolean algebras ⋮ Index set of structures with two equivalence relations that are autostable relative to strong constructivizations ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ A note on decidable categoricity and index sets ⋮ On decidable categoricity and almost prime models ⋮ Categoricity spectra of computable structures ⋮ The degree of decidable categoricity of a model with infinite solutions for complete formulas

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Pairs of recursive structures
• Strong and weak constructivization and computable families
• Model theory
• Computable structures and the hyperarithmetical hierarchy
• Boolean algebras, Tarski invariants, and index sets
• Non Σ_n axiomatizable almost strongly minimal theories
• Recursive prime models for Boolean algebras
• Complexity of Categorical Theories with Computable Models
• Index Sets of Constructive Models that are Autostable Under Strong Constructivizations

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