Lascar strong types in some simple theories

1999 ◽  
Vol 64 (2) ◽  
pp. 817-824 ◽  
Author(s):  
Steven Buechler
Keyword(s):  
Strong Type ◽  
Simple Theories ◽  
Low Theory

AbstractIn this paper a class of simple theories, called the low theories is developed, and the following is proved.Theorem. Let T be a low theory, A a set and a, b elements realizing the same strong type over A. Then, a and b realize the same Lasear strong type over A.

Definability in low simple theories

2000 ◽  
Vol 65 (4) ◽  
pp. 1481-1490 ◽  
Author(s):  
Ziv Shami
Keyword(s):  
Amalgamation Property ◽  
Simple Theory ◽  
Weak Version ◽  
Strong Type ◽  
Simple Theories ◽  
New Class ◽  
Bounded Set ◽  
Almost All ◽  
Independence Theorem ◽  
Mutually Independent

In 1978 Shelah introduced a new class of theories, called simple (see [Shi]) which properly contained the class of stable theories. Shelah generalized part of the theory of forking to the simple context. After approximately 15 years of neglecting the general theory (although there were works by Hrushovski on finite rank with a definability assumption, as well as deep results on specific simple theories by Cherlin, Hrushovski, Chazidakis, Macintyre and Van den dries, see [CH], [CMV], [HP1], [HP2], [ChH]) there was a breakthrough, initiated with the work of Kim ([K1]). Kim proved that almost all the technical machinery of forking developed in the stable context could be generalized to simple case. However, the theory of multiplicity (i.e., the description of the (bounded) set of non forking extensions of a given complete type) no longer holds in the context of simple theories. Indeed, by contrast to simple theories, stable theories share a strong amalgamation property of types, namely if p and q are two “free” complete extensions over a superset of A, and there is no finite equivalence relation over A which separates them, then the conjunction of p and q is consistent (and even free over A.) In [KP] Kim and Pillay proved a weak version of this property for any simple theory, namely “the Independence Theorem for Lascar strong types”. This was a weaker version both because of the requirement that the sets of parameters of the types be mutually independent, as well as the use of Lascar strong types instead of the usual strong types. A very fundamental and interesting problem is whether the independence theorem can be proved for any simple theory, using only the usual strong types. In 1997 Buechler proved ([Bu]) the strong-type version of the independence theorem for an important subclass of simple theories, namely the class of low theories (which includes the class of stable theories and the class of supersimple theories of finite D-rank.)

scholarly journals AN INDEPENDENCE THEOREM FOR NTP2 THEORIES

2014 ◽  
Vol 79 (01) ◽  
pp. 135-153 ◽  
Author(s):  
ITAÏ BEN YAACOV ◽  
ARTEM CHERNIKOV
Keyword(s):  
Chain Condition ◽  
Strong Type ◽  
Simple Theories ◽  
Independence Theorem

Abstract We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski’s terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory—a generalization of Poizat’s fundamental order from stable theories—and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.

scholarly journals On almost orthogonality in simple theories

2004 ◽  
Vol 69 (2) ◽  
pp. 398-408 ◽  
Author(s):  
Itay Ben-Yaacov ◽  
Frank O. Wagner
Keyword(s):  
Fundamental System ◽  
Simple Theory ◽  
Strong Type ◽  
Finitely Generated ◽  
Simple Theories ◽  
Real Type

Abstract.1. We show that if p is a real type which is internal in a set Σ of partial types in a simple theory, then there is a type p′ interbounded with p, which is finitely generated over Σ, and possesses a fundamental system of solutions relative to Σ.2. If p is a possibly hyperimaginary Lascar strong type, almost Σ-internal, but almost orthogonal to Σω, then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts on p while fixing Σ generically In case p is Σ-internal and T is stable, this is the binding group of p over Σ.

scholarly journals A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES

2015 ◽  
Vol 80 (1) ◽  
pp. 322-340 ◽  
Author(s):  
BYUNGHAN KIM ◽  
SUNYOUNG KIM ◽  
JUNGUK LEE
Keyword(s):  
Upper Bound ◽  
Homology Group ◽  
Strong Type ◽  
Simple Theories ◽  
Shell Boundary ◽  
Rosy Theories

AbstractWe classify, in a nontrivial amenable collection of functors, all 2-chains up to the relation of having the same 1-shell boundary. In particular, we prove that in a rosy theory, every 1-shell of a Lascar strong type is the boundary of some 2-chain, hence making the 1st homology group trivial. We also show that, unlike in simple theories, in rosy theories there is no upper bound on the minimal lengths of 2-chains whose boundary is a 1-shell.

scholarly journals A note on Lascar strong types in simple theories

1998 ◽  
Vol 63 (3) ◽  
pp. 926-936 ◽  
Author(s):  
Byunghan Kim
Keyword(s):  
Simple Theory ◽  
Strong Type ◽  
Simple Theories

AbstractLet T be a countable, small simple theory. In this paper, we prove that for such T, the notion of Lascar strong type coincides with the notion of strong type, over an arbitrary set.

A primer of simple theories

2002 ◽  
Vol 41 (6) ◽  
pp. 541-580 ◽  
Author(s):  
Rami Grossberg ◽  
José Iovino ◽  
Olivier Lessmann
Keyword(s):  
Simple Theories

scholarly journals Weighted Hardy operators in local generalized Orlicz-Morrey spaces

2021 ◽  
Vol 13 (2) ◽  
pp. 522-533
Author(s):  
C. Aykol ◽  
Z.O. Azizova ◽  
J.J. Hasanov
Keyword(s):  
Morrey Space ◽  
Sufficient Conditions ◽  
Morrey Spaces ◽  
Strong Type ◽  
Young Functions ◽  
Weighted Hardy Operators ◽  
Hardy Operators

In this paper, we find sufficient conditions on general Young functions $(\Phi, \Psi)$ and the functions $(\varphi_1,\varphi_2)$ ensuring that the weighted Hardy operators $A_\omega^\alpha$ and ${\mathcal A}_\omega^\alpha$ are of strong type from a local generalized Orlicz-Morrey space $M^{0,\,loc}_{\Phi,\,\varphi_1}(\mathbb R^n)$ into another local generalized Orlicz-Morrey space $M^{0,\,loc}_{\Psi,\,\varphi_2}(\mathbb R^n)$. We also obtain the boundedness of the commutators of $A_\omega^\alpha$ and ${\mathcal A}_\omega^\alpha$ from $M^{0,\,loc}_{\Phi,\,\varphi_1}(\mathbb R^n)$ to $M^{0,\,loc}_{\Psi,\,\varphi_2}(\mathbb R^n)$.

scholarly journals INFLUENCE OF THE TYPE OF NERVOUS ACTIVITY ON THE MILK PRODUCTION OF COWS

2020 ◽  
Author(s):  
Lina Karlova ◽  
◽  
Olena Lesnovska ◽  
Roman Mylostyvyi ◽  
◽  
...  
Keyword(s):  
Nervous System ◽  
Milk Yield ◽  
Weak Type ◽  
Nervous Activity ◽  
Fat Content ◽  
Strong Type ◽  
The Difference ◽  
Productive Traits ◽  
Relative Decline ◽  
Morning Milk

The aim of the research was to evaluate the influence of the type of the nervous system on the productive and reproductive qualities of animals. The type of nervous system (strong, weak) of cows of the Ukrainian red dairy breed was determined by the index of the nervous system, which is based on the variability of the fat content in the morning milk yield after changing the conditions of cows keeping. Under the new conditions of keeping cows with a strong type of nervous activity, the coefficients of variability of the morning milk yield and the fat content in milk practically remained at the same level (their slight increase was noted at the level of 4.5 and 3.1%). In cows of a weak type under similar conditions of keeping, a significant increase in the variability of milk yield (by 53.6%) and fat content in milk (by 266.7%) was found. In animals of both types, in the first days of summer-camp keeping, in comparison with winter-stall keeping, there was an increase in milk yield and a decrease in fat content in milk. In cows of the strong type, the fat content decreased by 0.08% and of the weak type by 0.12%. The average index of the nervous system type in animals of the strong type is 1.18, and in cows of the weak type 2.71 (P> 0.999). Before and during milking, the pulse rate in the cows of weak type was higher by 8.0 and 10.8 beats / min. (P> 0.999), compared with the strong type. The animals of strong type of the nervous system, in comparison with the weak type, had a smaller thickness of the concha and skin, a higher pulse and respiratory rate, and a lower rectal body temperature. In cows of a strong type of the nervous system in postnatal ontogenesis, the formation of productive traits took place more rapidly and they better adapted to the conditions of the external environment. This is evidenced by their high coefficient of relative decline in the growth at the age of one (85.0) than in animals with a weak type of nervous system (78.5). The advantage of cows with a strong type of nervous activity over a weak one in milk yield was 348 kg (P>0.95) and in milk fat 8.0 kg. The service period in animals with a strong type of nervous activity was 6.3 days shorter. The animals with a strong type of nervous activity during the first lactation had a higher adaptation index compared with animals of a weak type. The difference for this indicator is 0.49 (or 3.7%). They also had a higher productivity index for the first (3.1%) and second (4.0%) lactation. Thus, the typological features of the nervous activity of cows affect the formation of the most important functions of the body, which can be used in breeding work to improve the herd.

Secondary Flow in Cascades: Two Simple Derivations for the Components of Vorticity

1974 ◽  
Vol 16 (6) ◽  
pp. 391-401 ◽  
Author(s):  
P. M. Came ◽  
H. Marsh
Keyword(s):  
Secondary Flow ◽  
Secondary Circulation ◽  
Governing Equations ◽  
New Approach ◽  
Simple Theories ◽  
Fluid Particles ◽  
The Difference ◽  
Downstream Flow ◽  
Three Components

By considering a many-bladed cascade, two simple theories are developed for secondary flow in cascades. Following the work of Hawthorne (1)†, three components of vorticity are identified at exit from the cascade. An expression is obtained for the difference in the time taken for fluid particles to travel over the two surfaces of the blade, and this is used to derive the governing equations for the distributed secondary, trailing filament and trailing shed vorticities. It is shown that, for a many-bladed cascade, the total secondary circulation in the downstream flow is zero. The calculation of secondary flow for a real cascade is discussed, and it is shown that earlier calculations of secondary flow at exit from cascades are consistent with this new approach.

Sign in / Sign up

Export Citation Format

Share Document