The elementary diagram of a trivial, weakly minimal structure is near model complete

Archive for Mathematical Logic 48 (1):15-24 (2009)
  Copy   BIBTEX

Abstract

We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
A Note on Weakly O-Minimal Structures and Definable Completeness.Alfred Dolich - 2007 - Notre Dame Journal of Formal Logic 48 (2):281-292.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
Weakly o-Minimal Expansions of Boolean Algebras.Carlo Toffalori & S. Leonesi - 2001 - Mathematical Logic Quarterly 47 (2):223-238.
T-Height in Weakly O-Minimal Structures.James Tyne - 2006 - Journal of Symbolic Logic 71 (3):747 - 762.
Strongly and co-strongly minimal abelian structures.Ehud Hrushovski & James Loveys - 2010 - Journal of Symbolic Logic 75 (2):442-458.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.

Analytics

Added to PP
2013-11-23

Downloads
48 (#291,517)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counting Siblings in Universal Theories.Samuel Braunfeld & Michael C. Laskowski - 2022 - Journal of Symbolic Logic 87 (3):1130-1155.
Mutual algebraicity and cellularity.Samuel Braunfeld & Michael C. Laskowski - 2022 - Archive for Mathematical Logic 61 (5):841-857.
Characterizing Model Completeness Among Mutually Algebraic Structures.Michael C. Laskowski - 2015 - Notre Dame Journal of Formal Logic 56 (3):463-470.

Add more citations

References found in this work

[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
Some trivial considerations.John B. Goode - 1991 - Journal of Symbolic Logic 56 (2):624-631.

Add more references