Model completeness for trivial, uncountably categorical theories of Morley rank 1

Archive for Mathematical Logic 45 (8):931-945 (2006)
  Copy   BIBTEX

Abstract

We show that if T is a trivial uncountably categorical theory of Morley Rank 1 then T is model complete after naming constants for a model

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

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

The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Morley Rank in Homogeneous Models.Alexei Kolesnikov & G. V. N. G. Krishnamurthi - 2006 - Notre Dame Journal of Formal Logic 47 (3):319-329.
The Morley rank of a Banach space.José Iovino - 1996 - Journal of Symbolic Logic 61 (3):928-941.
Tiny models of categorical theories.M. C. Laskowski, A. Pillay & P. Rothmaler - 1992 - Archive for Mathematical Logic 31 (6):385-396.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
Constructing ω-stable Structures: Rank k-fields.John T. Baldwin & Kitty Holland - 2003 - Notre Dame Journal of Formal Logic 44 (3):139-147.
Bad groups of finite Morley rank.Luis Jaime Corredor - 1989 - Journal of Symbolic Logic 54 (3):768-773.
Centralisateurs génériques.Bruno Poizat - 2013 - Journal of Symbolic Logic 78 (1):290-306.

Analytics

Added to PP
2013-11-23

Downloads
76 (#161,218)

6 months
4 (#184,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
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

Non Σn axiomatizable almost strongly minimal theories.David Marker - 1989 - Journal of Symbolic Logic 54 (3):921 - 927.
Essential Stability Theory.Steven Buechler - 1999 - Studia Logica 63 (3):418-420.

Add more references