Bounding prime models

DOI10.2178/JSL/1102022214MaRDI QIDQ5311770zbMATH OpenOpenAlexFDO

Authors Denis R. Hirschfeldt, Robert I. Soare, Barbara Csima, J. F. Knight

Publication date 29 August 2005

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

Full work available at URL https://doi.org/10.2178/jsl/1102022214

zbMATH Keywords

complete atomic decidable theorycomputable model theoryprime bounding setsprime model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Classifying model-theoretic properties
• Prime models of computably enumerable degree
• Degree spectra of prime models
• Effective prime uniqueness
• Prime models of finite computable dimension

Cites work

• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3401261 (Why is no real title available?)
• scientific article; zbMATH DE number 3090999 (Why is no real title available?)
• Prime models of theories of computable linear orderings

Cited in

(14)

• Effectively categorical abelian groups
• Limitwise monotonic sequences and degree spectra of structures
• Iterated effective embeddings of abelian p-groups
• Computable trees, prime models, and relative decidability
• Classifying model-theoretic properties
• The atomic model theorem and type omitting
• On the strength of the finite intersection principle
• Ramsey-like theorems and moduli of computation
• Thin set theorems and cone avoidance
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• Degree spectra of prime models
• Any FIP real computes a 1-generic
• Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
• Array nonrecursiveness and relative recursive enumerability

This page was built for publication: Bounding prime models

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