Asymmetric RK-minimal types

Archive for Mathematical Logic 49 (3):367-377 (2010)
  Copy   BIBTEX

Abstract

We consider semi-isolation on the locus of a strongly non-isolated, RK-minimal type in a small theory, and we prove that its asymmetry (as a binary relation) is caused by a specific form of the strict order property: the partial definability of semi-isolation

Categories

Keywords

Reprint years

DOI

10.1007/s00153-010-0176-9

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

Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
On minimal structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
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.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
A monotonicity theorem for dp-minimal densely ordered groups.John Goodrick - 2010 - Journal of Symbolic Logic 75 (1):221-238.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
On the number of minimal models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):475-480.
T-Height in Weakly O-Minimal Structures.James Tyne - 2006 - Journal of Symbolic Logic 71 (3):747 - 762.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.

Analytics

Added to PP
2013-11-23

Downloads
18 (#811,325)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.

Add more citations

References found in this work

On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.

Add more references