Minimal types in super-dependent theories

Assaf Hasson, Alf Onshuus

Research output: Working paper/PreprintPreprint

20 Downloads (Pure)

Abstract

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite rank. We prove that such theories are coordinatised by thorn-minimal types and that such a type is unstable if an only if every non-algebraic extension thereof is. We conclude that a type is stable if and only if it admits a coordinatisation in thorn-minimal stable types. We also show that non-trivial thorn-minimal stable types extend stable sets.
Original languageEnglish GB
StatePublished - 2007

Publication series

NameArxiv preprint

Keywords

  • Mathematics - Logic
  • 03C45
  • 03C64

Fingerprint

Dive into the research topics of 'Minimal types in super-dependent theories'. Together they form a unique fingerprint.

Cite this