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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-008-0116-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

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

Through your library

My notes

Similar books and articles

Characterizing Model Completeness Among Mutually Algebraic Structures.Michael C. Laskowski - 2015 - Notre Dame Journal of Formal Logic 56 (3):463-470.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
On locally modular, weakly minimal theories.James Loveys - 1993 - Archive for Mathematical Logic 32 (3):173-194.
Weakly minimal groups with a new predicate.Gabriel Conant & Michael C. Laskowski - 2020 - Journal of Mathematical Logic 20 (2):2050011.
A criterion for the strong cell decomposition property.Somayyeh Tari - 2023 - Archive for Mathematical Logic 62 (7):871-887.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
Filling certain cuts in discrete weakly o-minimal structures.Stefano Leonesi & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (2):145.
A theory of pairs for non-valuational structures.Elitzur Bar-Yehuda, Assaf Hasson & Ya’Acov Peterzil - 2019 - Journal of Symbolic Logic 84 (2):664-683.
Weakly o-Minimal Expansions of Boolean Algebras.Carlo Toffalori & S. Leonesi - 2001 - Mathematical Logic Quarterly 47 (2):223-238.

Analytics

Added to PP
2013-11-23

Downloads
77 (#272,224)

6 months
21 (#140,658)

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

Some trivial considerations.John B. Goode - 1991 - Journal of Symbolic Logic 56 (2):624-631.

Add more references