Is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature

&
Journal of Symbolic Logic 86 (4):1632-1656 (2021)
  Copy   BIBTEX

Abstract

We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite structure.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2021.11

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

A new spectrum of recursive models using an amalgamation construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
New spectra of strongly minimal theories in finite languages.Uri Andrews - 2011 - Annals of Pure and Applied Logic 162 (5):367-372.
Characterizing Model Completeness Among Mutually Algebraic Structures.Michael C. Laskowski - 2015 - Notre Dame Journal of Formal Logic 56 (3):463-470.
Interpreting structures of finite Morley rank in strongly minimal sets.Assaf Hasson - 2007 - Annals of Pure and Applied Logic 145 (1):96-114.
Minimal but not strongly minimal structures with arbitrary finite dimensions.Koichiro Ikeda - 2001 - Journal of Symbolic Logic 66 (1):117-126.
Minimal but not strongly minimal structures with arbitrary finite dimensions.Koichiro Ikeda - 2001 - Journal of Symbolic Logic 66 (1):117-126.
DMP in Strongly Minimal Sets.Assaf Hasson & Ehud Hrushovski - 2007 - Journal of Symbolic Logic 72 (3):1019 - 1030.
Fusion over Sublanguages.Assaf Hasson & Martin Hils - 2006 - Journal of Symbolic Logic 71 (2):361 - 398.
A New Spectrum of Recursive Models.André Nies - 1999 - Notre Dame Journal of Formal Logic 40 (3):307-314.
Strongly minimal fusions of vector spaces.Kitty L. Holland - 1997 - Annals of Pure and Applied Logic 83 (1):1-22.
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.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
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.
The geometry of Hrushovski constructions, I: The uncollapsed case.David M. Evans & Marco S. Ferreira - 2011 - Annals of Pure and Applied Logic 162 (6):474-488.

Analytics

Added to PP
2021-02-02

Downloads
5 (#1,463,568)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
A New Spectrum of Recursive Models.André Nies - 1999 - Notre Dame Journal of Formal Logic 40 (3):307-314.
New spectra of strongly minimal theories in finite languages.Uri Andrews - 2011 - Annals of Pure and Applied Logic 162 (5):367-372.

Add more references