Recursive models and the divisibility poset

DOI10.1305/NDJFL/1039293026MaRDI QIDQ5937812zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039293026

zbMATH Keywords

Peano arithmeticnonstandard modelsrecursive divisibility latticerecursive divisibility poset

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Nonstandard models of arithmetic (03H15)

Recommendations

• Toward the limits of the Tennenbaum phenomenon
• Relatively Recursively Enumerable Versus Relatively Σ₁ in Models of Peano Arithmetic
• Tennenbaum's theorem for models of arithmetic
• Tennenbaum's theorem and recursive reducts
• Nondiversity in substructures

Cites work

• scientific article; zbMATH DE number 3933028 (Why is no real title available?)
• scientific article; zbMATH DE number 3745136 (Why is no real title available?)
• scientific article; zbMATH DE number 3750921 (Why is no real title available?)
• scientific article; zbMATH DE number 3781145 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3001281 (Why is no real title available?)
• Every recursive enumerable extension of a theory of linear order has a constructive model
• Nonarithmetical ℵ₀-categorical theories with recursive models
• Ordering by Divisibility in Abstract Algebras
• Skolem functions and constructive models
• Some problem in elementary arithmetics
• The completeness of Peano multiplication
• The elementary theory of the natural lattice is finitely axiomatizable
• Theories with recursive models
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

Cited in

(3)

• Tennenbaum's theorem and recursive reducts
• Tennenbaum's theorem for models of arithmetic
• Toward the limits of the Tennenbaum phenomenon

This page was built for publication: Recursive models and the divisibility poset

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