Existentially Incomplete Tame Models and a Conjecture of Ellentuck

DOI10.1002/MALQ.19990450204MaRDI QIDQ4243910zbMATH OpenOpenAlexWikidataFDO

Authors Thomas G. McLaughlin

Publication date 23 November 1999

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19990450204

zbMATH Keywords

existentially completeisolregressivetame modeltorreultrapower construction

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Recursive equivalence types of sets and structures, isols (03D50) First-order arithmetic and fragments (03F30)

Recommendations

• On the Minimality of Tame Models in the Isols
• scientific article; zbMATH DE number 4031665
• On the independence property of first-order theories and indiscernible sequences
• Recursive functions and existentially closed structures

Cites work

• Diophantine correct non-standard models in the isols
• Existentially Complete Nerode Semirings
• Forcing, arithmetic, division rings
• scientific article; zbMATH DE number 4031665 (Why is no real title available?)
• On the Minimality of Tame Models in the Isols
• Recursive Fibers of RST Isols
• Some Properties of ∀∃ Models in the Isols
• Sub-arithmetical ultrapowers: A survey
• Torre models in the isols

This page was built for publication: Existentially Incomplete Tame Models and a Conjecture of Ellentuck

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