منابع مشابه
Strongly Minimal Theories with Recursive Models
We give effectiveness conditions on a strongly minimal theory T guaranteeing that all models have computable copies. In particular, we show that if T is strongly minimal and for n ě 1, T X Dn`2 is ∆n, uniformly in n, then every model has a computable copy. Relativizing, we answer a long-standing question in computable model theory, showing that if a strongly minimal theory has a computable mode...
متن کاملRandomizing O-minimal Theories
The randomization of a complete first order theory T is the complete continuous theory T R with two sorts, a sort for random elements of models of T , and a sort for events in an underlying atomless probability space. We show that if T has the exchange property and acl = dcl, then T R has a strict independence relation in the home sort, and hence is real rosy. In particular, if T is o-minimal, ...
متن کاملminimal, vertex minimal and commonality minimal cn-dominating graphs
we define minimal cn-dominating graph $mathbf {mcn}(g)$, commonality minimal cn-dominating graph $mathbf {cmcn}(g)$ and vertex minimal cn-dominating graph $mathbf {m_{v}cn}(g)$, characterizations are given for graph $g$ for which the newly defined graphs are connected. further serval new results are developed relating to these graphs.
متن کاملMinimal types in simple theories
We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor-Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable cas...
متن کاملForking in VC-minimal theories
We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M , generalizing a result of Dolich on o-minimal theories in [4].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsukuba Journal of Mathematics
سال: 1993
ISSN: 0387-4982
DOI: 10.21099/tkbjm/1496162276