MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 303

Preprint Number 303

Previous Next Preprint server


303. Ziv Shami
A model theoretic Baire category theorem for simple theories and its applications.
E-mail:

Submission date: 7 March 2011

Abstract:

We prove a model theoretic Baire category theorem for \tilde\tau_{low}^f-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology or T interprets a strongly-minimal formula or T interprets an infinite definable 1-based group of finite D-rank.

Mathematics Subject Classification: 03C45

Keywords and phrases: \tau^f-topology, \tilde\tau^f_{low}-sets, the extension property is first-order

Full text: pdf, dvi, ps.


Last updated: March 7 2011 21:24 Please send your corrections to: