4 citations · 4 across the 2 of their papers we have counts for
5 papers · 1 filter
Minimal types in super-dependent theories
Assaf Hasson, Alf Onshuus
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…
Unstable structures definable in o-minimal theories
Assaf Hasson, Alf Onshuus
Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure…
One dimensional structures in o-minimal theories
Assaf Hasson, Alf Onshuus, Ya'acov Peterzil
We prove the Zil'ber Trichotomy Principle for all 1-dimensional structures which are definable in o-minimal ones. In particular, we show that any stable 1-dimensional structure is…
th-Forking, Algebraic Independence and Examples of Rosy Theories
Alf Onshuus
In a previous paper we developed the notions of th-independence and þ-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We prove…
Properties and Consequences of th-Independence
Alf Onshuus
We develop a new notion of independence suggested by Scanlon (th-independence). We prove that in a large class of theories (which includes all simple theories) this notion has many…