Index sets for some classes of structures

DOI10.1016/J.APAL.2008.09.006MaRDI QIDQ1006610zbMATH OpenOpenAlexFDO

Authors E. 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

class of structurescomputable structuredecidable theoryindex set

Mathematics Subject Classification ID

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

Recommendations

• Index sets of computable structures
• scientific article; zbMATH DE number 5379427
• Index sets for classes of high rank structures
• The complexity of index sets for several classes of models
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes

Cites work

• Boolean algebras, Tarski invariants, and index sets
• Comparing Classes of Finite Structures
• Complexity of Categorical Theories with Computable Models
• Complexity of categorical theories with computable models
• Complexity of the index set of a constructive model
• Computability and computable models
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• scientific article; zbMATH DE number 5379427 (Why is no real title available?)
• scientific article; zbMATH DE number 3747093 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 5175704 (Why is no real title available?)
• Index sets of computable structures
• Index Sets of Computable Structures with Decidable Theories
• Non Σ_n axiomatizable almost strongly minimal theories
• On the complexity of categoricity in computable structures
• The isomorphism problem for classes of computable fields
• The isomorphism problem for computable Abelian _p-groups of bounded length

Cited in

(12)

• Index sets in the hyperarithmetical hierarchy
• Index sets of classes of hyper-hypersimple sets
• Index sets of prime models
• The complexity of index sets for several classes of models
• Index sets of computable structures
• scientific article; zbMATH DE number 4055599 (Why is no real title available?)
• There is no classification of the decidably presentable structures
• Index sets of classes of automatic structures
• Index sets for classes of high rank structures
• scientific article; zbMATH DE number 5026326 (Why is no real title available?)
• On different topologies for set-indexing collections
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms

This page was built for publication: Index sets for some classes of structures

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