On definability of types of finite Cantor-Bendixson rank

Mathematical Logic Quarterly 57 (3):256-260 (2011)
  Copy   BIBTEX

Abstract

We prove that every type of finite Cantor-Bendixson rank over a model of a first-order theory without the strict order property is definable and has a unique nonforking extension to a global type. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910134

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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 note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
Simple monadic theories and partition width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.
Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Cantor-bendixson rank of the Ziegler spectrum over a commutative valuation domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Quantifier-eliminable locally finite graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Ordered Groups, Computability and Cantor-Bendixson Rank.Waseet Kazmi - 2023 - Bulletin of Symbolic Logic 29 (4):664-664.
Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
Rank, join, and Cantor singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.Rod Downey & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (1):45-52.
Binary types in ℵ0‐categorical weakly o‐minimal theories.Beibut Sh Kulpeshov - 2011 - Mathematical Logic Quarterly 57 (3):246-255.

Analytics

Added to PP
2013-12-01

Downloads
12 (#317,170)

6 months
3 (#1,723,834)

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

On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.

Add more references