On the Minimality of Tame Models in the Isols

DOI10.2307/2160535zbMath0808.03029OpenAlexW4251384361MaRDI QIDQ4275662

Joseph Barback

Publication date: 15 March 1995

Full work available at URL: https://doi.org/10.2307/2160535

zbMATH Keywords

minimalityisolsfragment of arithmetictame models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive equivalence types of sets and structures, isols (03D50)

Related Items (1)

Existentially Incomplete Tame Models and a Conjecture of Ellentuck

Cites Work

• Extensions to isols
• Models of arithmetic and recursive functions
• Sub-arithmetical ultrapowers: A survey
• Diophantine correct non-standard models in the isols
• Some Properties of ∀∃ Models in the Isols
• Diagonal Methods in the Theory of Isols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Minimality of Tame Models in the Isols