On types of CB-rank 1 in simple theories

2008 ◽  
Vol 7 (4) ◽  
pp. 895-899 ◽  
Author(s):  
Anand Pillay
Keyword(s):  
Recent Result ◽  
Simple Theory ◽  
Countable Model ◽  
Stable Case ◽  
Simple Theories ◽  
Complete Type ◽  
Special Case

AbstractWe 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 case, and is a special case of a recent result of Tanovic.

On the Rates of Convergence of Chlodovsky–Durrmeyer Operators and their Bézier Variant

2009 ◽  
Vol 16 (4) ◽  
pp. 693-704
Author(s):  
Harun Karsli ◽  
Paulina Pych-Taberska
Keyword(s):  
Recent Result ◽  
Pointwise Convergence ◽  
Rates Of Convergence ◽  
Durrmeyer Operators ◽  
The One ◽  
Special Case ◽  
Appl Math ◽  
Bézier Variant

Abstract We consider the Bézier variant of Chlodovsky–Durrmeyer operators 𝐷𝑛,α for functions 𝑓 measurable and locally bounded on the interval [0,∞). By using the Chanturia modulus of variation we estimate the rate of pointwise convergence of (𝐷𝑛,α 𝑓) (𝑥) at those 𝑥 > 0 at which the one-sided limits 𝑓(𝑥+), 𝑓(𝑥–) exist. In the special case α = 1 the recent result of [Ibikli, Karsli, J. Inequal. Pure Appl. Math. 6: 12, 2005] concerning the Chlodovsky–Durrmeyer operators 𝐷𝑛 is essentially improved and extended to more general classes of functions.

On the weak non-finite cover property and the n-tuples of simple structures

2005 ◽  
Vol 70 (1) ◽  
pp. 235-251 ◽  
Author(s):  
Evgueni Vassiliev
Keyword(s):  
Direct Proof ◽  
Simple Theory ◽  
Finite Cover ◽  
Stable Case ◽  
Combinatorial Condition ◽  
The Way

AbstractThe weak non-finite cover property (wnfcp) was introduced in [1] in connection with “axiomatizability” of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory Tp of lovely pairs of models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) Tp is low, then TP has the wnfcp. To study this question, we describe “double lovely pairs”, and, along the way, we develop the notion of a “lovely n-tuple” of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories [2].

On Kueker simple theories

2005 ◽  
Vol 70 (1) ◽  
pp. 216-222 ◽  
Author(s):  
Ziv Shami
Keyword(s):  
Simple Theory ◽  
Simple Theories

AbstractWe show that a Kueker simple theory eliminates ∃∞ and densely interprets weakly minimal formulas. As part of the proof we generalize Hrushovski's dichotomy for almost complete formulas to simple theories. We conclude that in a unidimensional simple theory an almost-complete formula is either weakly minimal or trivially-almost-complete. We also observe that a small unidimensional simple theory is supersimple of finite SU-rank.

Properties and consequences of Thorn-independence

2006 ◽  
Vol 71 (1) ◽  
pp. 1-21 ◽  
Author(s):  
Alf Onshuus
Keyword(s):  
Large Class ◽  
Geometric Structure ◽  
Simple Theory ◽  
Simple Theories

AbstractWe develop a new notion of independence (ϸ-independence, read “thorn”-independence) that arises from a family of ranks suggested by Scanlon (ϸ-ranks). We prove that in a large class of theories (including simple theories and o-minimal theories) this notion has many of the properties needed for an adequate geometric structure.We prove that ϸ-independence agrees with the usual independence notions in stable, supersimple and o-minimal theories. Furthermore, we give some evidence that the equivalence between forking and ϸ-forking in simple theories might be closely related to one of the main open conjectures in simplicity theory, the stable forking conjecture. In particular, we prove that in any simple theory where the stable forking conjecture holds, ϸ-independence and forking independence agree.

Coordinatisation by binding groups and unidimensionality in simple theories

2004 ◽  
Vol 69 (4) ◽  
pp. 1221-1242 ◽  
Author(s):  
Ziv Shami
Keyword(s):  
Finite Sequence ◽  
Simple Theory ◽  
Simple Theories ◽  
Infinite Type ◽  
Definable Set

Abstract.In a simple theory with elimination of finitary hyperimaginaries if tp(a) is real and analysable over a definable set Q, then there exists a finite sequence (ai \ i ≤ n*) ⊆ dcleq(a) with an* = a such that for every i ≤ n* if pi = tp(ai/{aj |j < i}) then Aut(pi / Q) is type-definable with its action on . A unidimensional simple theory eliminates the quantifier ∃∞ and either interprets (in Ceq) an infinite type-definable group or has the property that ACL(Q) = C for every infinite definable set Q.

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 Ample thoughts

2013 ◽  
Vol 78 (2) ◽  
pp. 489-510 ◽  
Author(s):  
Daniel Palacín ◽  
Frank O. Wagner
Keyword(s):  
General Notion ◽  
Base Property ◽  
Simple Theories ◽  
Canonical Base ◽  
Weakened Version ◽  
Special Case

AbstractNon-n-ampleness as denned by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of Σ-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.

scholarly journals K-Theory of Locally Compact Modules over Rings of Integers

2018 ◽  
Vol 2020 (6) ◽  
pp. 1748-1793 ◽  
Author(s):  
Oliver Braunling
Keyword(s):  
Recent Result ◽  
Number Field ◽  
Independent Interest ◽  
Locally Compact ◽  
Exact Category ◽  
Rings Of Integers ◽  
K Theory ◽  
Special Case

Abstract We generalize a recent result of Clausen; for a number field with integers $\mathcal{O}$, we compute the K-theory of locally compact $\mathcal{O}$-modules. For the rational integers this recovers Clausen’s result as a special case. Our method of proof is quite different; instead of a homotopy coherent cone construction in $\infty$-categories, we rely on calculus of fraction type results in the style of Schlichting. This produces concrete exact category models for certain quotients, a fact that might be of independent interest. As in Clausen’s work, our computation works for all localizing invariants, not just K-theory.

scholarly journals Incidences with Curves in $\mathbb{R}^d$

10.37236/5840 ◽  
2016 ◽  
Vol 23 (4) ◽  
Author(s):  
Micha Sharir ◽  
Adam Sheffer ◽  
Noam Solomon
Keyword(s):  
Recent Result ◽  
Degrees Of Freedom ◽  
Algebraic Curves ◽  
Three Dimensional ◽  
Three Dimensions ◽  
Bounded Degree ◽  
Four Dimensions ◽  
Mild Conditions ◽  
Point Line ◽  
Special Case

We prove that the number of incidences between $m$ points and $n$ bounded-degree curves with $k$ degrees of freedom in ${\mathbb R}^d$ is\[ O\left(m^{\frac{k}{dk-d+1}+\varepsilon}n^{\frac{dk-d}{dk-d+1}}+ \sum_{j=2}^{d-1} m^{\frac{k}{jk-j+1}+\varepsilon}n^{\frac{d(j-1)(k-1)}{(d-1)(jk-j+1)}} q_j^{\frac{(d-j)(k-1)}{(d-1)(jk-j+1)}}+m+n\right),\]for any $\varepsilon>0$, where the constant of proportionality depends on $k, \varepsilon$ and $d$, provided that no $j$-dimensional surface of degree $\le c_j(k,d,\varepsilon)$, a constant parameter depending on $k$, $d$, $j$, and $\varepsilon$, contains more than $q_j$ input curves, and that the $q_j$'s satisfy certain mild conditions. This bound generalizes the well-known planar incidence bound of Pach and Sharir to $\mathbb{R}^d$. It generalizes a recent result of Sharir and Solomon concerning point-line incidences in four dimensions (where d=4 and k=2), and partly generalizes a recent result of Guth (as well as the earlier bound of Guth and Katz) in three dimensions (Guth's three-dimensional bound has a better dependency on $q_2$). It also improves a recent d-dimensional general incidence bound by Fox, Pach, Sheffer, Suk, and Zahl, in the special case of incidences with algebraic curves. Our results are also related to recent works by Dvir and Gopi and by Hablicsek and Scherr concerning rich lines in high-dimensional spaces. Our bound is not known to be tight in most cases.

Sets of Generators of a Commutative and Associative Algebra(1)

1971 ◽  
Vol 14 (3) ◽  
pp. 315-319
Author(s):  
D. Ž. Djoković
Keyword(s):  
Recent Result ◽  
Associative Algebra ◽  
Polynomial Algebra ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Quotient Algebra ◽  
Algebra 1 ◽  
Finite Dimensional ◽  
Necessary And Sufficient ◽  
Special Case

AbstractLet A be a finite dimensional commutative and associative algebra with identity, over a field K. We assume also that A is generated by one element and consequently, isomorphic to a quotient algebra of the polynomial algebra K[X]. If A=K[a] and bi=fi(A), fi(X) ∊ K[X], 1≤i≤r we find necessary and sufficient conditions which should be satisfied by fi(X) in order that A = K[b1, …, br].The result can be stated as a theorem about matrices. As a special case we obtain a recent result of Thompson [4].In fact this last result was established earlier by Mirsky and Rado [3]. I am grateful to the referee for supplying this reference.

Sign in / Sign up

Export Citation Format

Share Document