34 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.The second question is answered for o-minimal structures that eliminate imaginaries. It is proved that for any structure D whose theory is o-minimal and eliminates imaginaries, any stable group interpretable in D is totally transcendental with finite Morley rank. A strengthening of Buechler's Dichotomy Theorem is also proved for stable (viz. superstable) structures that are interpretable in D.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD
I point out that an “infinite-dimensional, homogeneous, pregeom-etry ” on a structure M is the same ...
I introduce a class of totally transcendental (tt) theories called basic and prove a structure theor...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...
34 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.The second question is answere...
AbstractThe class of geometric surgical theories (which includes all o-minimal theories) is examined...
AbstractThe class of geometric surgical theories (which includes all o-minimal theories) is examined...
AbstractHrushovski originated the study of “flat” stable structures in constructing a new strongly m...
Abstract. Let N be a structure definable in an o-minimal structureM and p ∈ SN (N), a complete N-1-t...
In this thesis, stability theory and stable group theory are developed inside a stable type-definabl...
AbstractIn this article we define when a finite diagram of a model is stable, we investigate what is...
AbstractWe introduce notions of strong and eventual strong non-isolation for types in countable, sta...
unstable theories. A theory is unstable if there is a formula that orders an infinite set of tuples ...
Abstract. This work can be thought as a contribution to the model theory of group extensions. We stu...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
I point out that an “infinite-dimensional, homogeneous, pregeom-etry ” on a structure M is the same ...
I introduce a class of totally transcendental (tt) theories called basic and prove a structure theor...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...
34 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.The second question is answere...
AbstractThe class of geometric surgical theories (which includes all o-minimal theories) is examined...
AbstractThe class of geometric surgical theories (which includes all o-minimal theories) is examined...
AbstractHrushovski originated the study of “flat” stable structures in constructing a new strongly m...
Abstract. Let N be a structure definable in an o-minimal structureM and p ∈ SN (N), a complete N-1-t...
In this thesis, stability theory and stable group theory are developed inside a stable type-definabl...
AbstractIn this article we define when a finite diagram of a model is stable, we investigate what is...
AbstractWe introduce notions of strong and eventual strong non-isolation for types in countable, sta...
unstable theories. A theory is unstable if there is a formula that orders an infinite set of tuples ...
Abstract. This work can be thought as a contribution to the model theory of group extensions. We stu...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
I point out that an “infinite-dimensional, homogeneous, pregeom-etry ” on a structure M is the same ...
I introduce a class of totally transcendental (tt) theories called basic and prove a structure theor...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...