Index sets for classes of high rank structures

DOI10.2178/JSL/1203350796MaRDI QIDQ5444710zbMATH OpenOpenAlexFDO

Authors Wesley Calvert, E. B. Fokina, Oleg Kudinov, Vadim G. Puzarenko, S. S. Goncharov, J. F. Knight, Andrei S. Morozov

Publication date 25 February 2008

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1203350796

zbMATH Keywords

index setscomputable structuresScott rankKlenee's \({\mathcal O}\)

Mathematics Subject Classification ID

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

Recommendations

• Index sets for some classes of structures
• Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes
• Index sets of computable structures
• Computable structures of rank \(\omega _1^{\mathrm{CK}}\)
• Some new computable structures of high rank

Cites work

• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• Computable structures and the hyperarithmetical hierarchy
• Index sets of computable structures
• On the complexity of categoricity in computable structures
• Pairs of recursive structures
• Scott sentences and admissible sets

Cited in

(12)

• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• Computable elements and functions in effectively enumerable topological spaces
• Some new computable structures of high rank
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms
• Rice's theorem in effectively enumerable topological spaces
• Index sets for some classes of structures
• Computability in infinite Galois theory and algorithmically random algebraic fields
• There is no classification of the decidably presentable structures
• On Σ¹ ₁ equivalence relations over the natural numbers
• Index sets of computable structures
• An introduction to the Scott complexity of countable structures and a survey of recent results
• Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes

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

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