Minimal first-order structures

Annals of Pure and Applied Logic 162 (11):948-957 (2011)
  Copy   BIBTEX

Abstract

We prove a dichotomy theorem for minimal structures and use it to prove that the number of non-isomorphic countable elementary extensions of an arbitrary countable, infinite first-order structure is infinite

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.05.001

Links

PhilArchive



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

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

On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
Construction of saturated quasi-minimal structure.Masanori Itai, Akito Tsuboi & Kentaro Wakai - 2004 - Journal of Symbolic Logic 69 (1):9-22.
Minimal but not strongly minimal structures with arbitrary finite dimensions.Koichiro Ikeda - 2001 - Journal of Symbolic Logic 66 (1):117-126.
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
On expansions of o-minimal structures.Harvey Friedman - manuscript
On minimal structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Structuralism and Isomorphism.Charles McCarty - 2013 - Philosophia Mathematica (1):nkt024.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.
Automorphism groups of trivial strongly minimal structures.Thomas Blossier - 2003 - Journal of Symbolic Logic 68 (2):644-668.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Fusing O-Minimal Structures.A. J. Wilkie - 2005 - Journal of Symbolic Logic 70 (1):271 - 281.

Analytics

Added to PP
2013-10-27

Downloads
26 (#596,950)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.

Add more citations

References found in this work

Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
Number of countable models.Anand Pillay - 1978 - Journal of Symbolic Logic 43 (3):492-496.

View all 6 references / Add more references