Boolean algebras, Tarski invariants, and index sets

DOI10.1305/NDJFL/1143468308zbMath1107.03031OpenAlexW2005021983MaRDI QIDQ2505128

Antonio Montalbán, Richard A. Shore, Barbara F. Csima

Publication date: 4 October 2006

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1143468308

zbMATH Keywords

Boolean algebrascomputabilityindex setsTarski invariants

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (7)

Computable numberings of the class of Boolean algebras with distinguished endomorphisms ⋮ The index set of Boolean algebras autostable relative to strong constructivizations ⋮ Invariants, Boolean algebras and ACA₀⁺ ⋮ Scott sentences for certain groups ⋮ Fine hierarchies and m-reducibilities in theoretical computer science ⋮ Index sets for some classes of structures ⋮ On the $n$-back-and-forth types of Boolean algebras

Cites Work

• Strong constructivizability of countable saturated Boolean algebras
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• Index sets of classes of hyper-hypersimple sets
• Computable structures and the hyperarithmetical hierarchy
• Fine hierarchy and definable index sets
• The isomorphism problem for computable Abelian _p-groups of bounded length
• $∀_n$-theories of Boolean algebras
• Invariants, Boolean algebras and ACA₀⁺
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean algebras, Tarski invariants, and index sets