Index sets for some classes of structures

DOI10.1016/j.apal.2008.09.006zbMath1160.03024OpenAlexW1964825940MaRDI QIDQ1006610

Ekaterina B. Fokina

Publication date: 25 March 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.006

zbMATH Keywords

decidable theoryindex setcomputable structureclass of structures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

Computable numberings of the class of Boolean algebras with distinguished endomorphisms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The isomorphism problem for classes of computable fields
• Complexity of the index set of a constructive model
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Boolean algebras, Tarski invariants, and index sets
• The isomorphism problem for computable Abelian _p-groups of bounded length
• Non Σ_n axiomatizable almost strongly minimal theories
• Index sets of computable structures
• On the complexity of categoricity in computable structures
• Index Sets of Computable Structures with Decidable Theories
• Complexity of Categorical Theories with Computable Models
• Comparing Classes of Finite Structures