Spectra of structures and relations

DOI10.2178/JSL/1174668398MaRDI QIDQ3426577zbMATH OpenOpenAlexFDO

Authors Valentina Harizanov, Russell Miller

Publication date 12 March 2007

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

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.5839

zbMATH Keywords

computable dense linear ordercomputable random graphembeddings of structures preserving spectraspectra of structuresspectrally universalTuring degree spectrum

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28)

Recommendations

• Bi‐embeddability spectra and bases of spectra
• Spectra of high_n and non-low_n degrees
• Spectral universality of linear orders with one binary relation
• Spectra of theories and structures
• The _2⁰-spectrum of a linear order

Cites work

• Asset prices and the fundamentals: a Q test
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 1302869 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)

Cited in

(13)

• Effective algebraicity
• Degree spectra of structures
• Spectral universality of linear orders with one binary relation
• Turing degrees and automorphism groups of substructure lattices
• Spectra of high_n and non-low_n degrees
• Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
• Spectra of Algebraic Fields and Subfields
• Spectrally stable relations
• A computable functor from graphs to fields
• CODING IN GRAPHS AND LINEAR ORDERINGS
• Spectra of theories and structures
• Primitive recursive reverse mathematics
• The complexity of the successor and the block relations on computable linear orders

This page was built for publication: Spectra of structures and relations

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