Stable theories with a new predicate

2001 ◽  
Vol 66 (3) ◽  
pp. 1127-1140 ◽  
Author(s):  
Enrique Casanovas ◽  
Martin Ziegler
Keyword(s):  
Group Structure ◽  
Finite Union ◽  
Small Subset ◽  
Finite Cover ◽  
Minimal Set ◽  
Unary Predicate ◽  
Elementary Substructure ◽  
Algebraic Set ◽  
Subspace Theorem ◽  
Image Position

Let M be an L-structure and A be an infinite subset of M. Two structures can be defined from A:• The induced structure on A has a name Rφ for every ∅-definable relation φ(M) ∩ An on A. Its language isA with its Lind-structure will be denoted by Aind.• The pair (M, A) is an L(P)-structure, where P is a unary predicate for A and L(P) = L ∪{P}.We call A small if there is a pair (N, B) elementarily equivalent to (M, A) and such that for every finite subset b of N every L–type over Bb is realized in N.A formula φ(x, y) has the finite cover property (f.c.p) in M if for all natural numbers k there is a set of φ–formulaswhich is k–consistent but not consistent in M. M has the f.c.p if some formula has the f.c.p in M. It is well known that unstable structures have the f.c.p. (see [6].) We will prove the following two theorems.Theorem A. Let A be a small subset of M. If M does not have the finite cover property then, for every λ ≥ ∣L∣, if both M andAindare λ–stable then (M, A) is λ–stable.Corollary 1.1 (Poizat [5]). If M does not have the finite cover property and N ≺ M is a small elementary substructure, then (M, N) is stable.Corollary 1.2 (Zilber [7]). If U is the group of wots of unity in the field ℂ of complex numbers the pair (ℂ, U) isω–stable.Proof. (See [4].) As a strongly minimal set ℂ is ω–stable and does not have the f.c.p. By the subspace theorem of Schmidt [3] every algebraic set intersects U in a finite union of translates of subgroups definable in the group structure of U alone. Whence Uind is nothing more than a (divisible) abelian group, which is ω–stable.

scholarly journals ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 951-971
Author(s):  
NADAV MEIR
Keyword(s):  
New Products ◽  
Elementary Substructure ◽  
First Order ◽  
Order Language ◽  
Image Position

AbstractWe say a structure ${\cal M}$ in a first-order language ${\cal L}$ is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure ${\cal M}\prime \subseteq {\cal M}$ such that ${\cal M}\prime \cong {\cal M}$. Additionally, we say that ${\cal M}$ is symmetrically indivisible if ${\cal M}\prime$ can be chosen to be symmetrically embedded in ${\cal M}$ (that is, every automorphism of ${\cal M}\prime$ can be extended to an automorphism of ${\cal M}$). Similarly, we say that ${\cal M}$ is elementarily indivisible if ${\cal M}\prime$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman, and A. Onshuus.

Augmentation quotients of some nonabelian finite groups

1979 ◽  
Vol 85 (2) ◽  
pp. 261-270 ◽  
Author(s):  
Gerald Losey ◽  
Nora Losey
Keyword(s):  
Group Structure ◽  
Lower Central Series ◽  
Central Series ◽  
Augmentation Ideal ◽  
Integral Group ◽  
Nilpotent Residual ◽  
Periodic Behaviour ◽  
Augmentation Quotient ◽  
Image Position ◽  
A Finite Group

1. LetGbe a group,ZGits integral group ring and Δ = ΔGthe augmentation idealZGBy anaugmentation quotientofGwe mean any one of theZG-moduleswheren, r≥ 1. In recent years there has been a great deal of interest in determining the abelian group structure of the augmentation quotientsQn(G) =Qn,1(G) and(see (1, 2, 7, 8, 9, 12, 13, 14, 15)). Passi(8) has shown that in order to determineQn(G) andPn(G) for finiteGit is sufficient to assume thatGis ap-group. Passi(8, 9) and Singer(13, 14) have obtained information on the structure of these quotients for certain classes of abelianp-groups. However little seems to be known of a quantitative nature for nonabelian groups. In (2) Bachmann and Grünenfelder have proved the following qualitative result: ifGis a finite group then there exist natural numbersn0and π such thatQn(G) ≅Qn+π(G) for alln≥n0; ifGωis the nilpotent residual ofGandG/Gωhas classcthen π divides l.c.m. {1, 2, …,c}. There do not appear to be any examples in the literature of this periodic behaviour forc> 1. One of goals here is to present such examples. These examples will be from the class of finitep-groups in which the lower central series is anNp-series.

Pseudoprojective strongly minimal sets are locally projective

1991 ◽  
Vol 56 (4) ◽  
pp. 1184-1194 ◽  
Author(s):  
Steven Buechler
Keyword(s):  
Predicate Symbol ◽  
Infinite Dimension ◽  
Elementary Extension ◽  
Morley Rank ◽  
Minimal Set ◽  
Unary Predicate ◽  
Minimal Sets

AbstractLet D be a strongly minimal set in the language L, and D′ ⊃ D an elementary extension with infinite dimension over D. Add to L a unary predicate symbol D and let T′ be the theory of the structure (D′, D), where D interprets the predicate D. It is known that T′ is ω-stable. We proveTheorem A. If D is not locally modular, then T′ has Morley rank ω.We say that a strongly minimal set D is pseudoprojective if it is nontrivial and there is a k < ω such that, for all a, b ∈ D and closed X ⊂ D, a ∈ cl(Xb) ⇒ there is a Y ⊂ X with a ∈ cl(Yb) and ∣Y∣ ≤ k. Using Theorem A, we proveTheorem B. If a strongly minimal set D is pseudoprojective, then D is locally projective.The following result of Hrushovski's (proved in §4) plays a part in the proof of Theorem B.Theorem C. Suppose that D is strongly minimal, and there is some proper elementary extension D1 of D such that the theory of the pair (D1, D) is ω1-categorical. Then D is locally modular.

One theorem of Zil′ber's on strongly minimal sets

1985 ◽  
Vol 50 (4) ◽  
pp. 1054-1061 ◽  
Author(s):  
Steven Buechler
Keyword(s):  
Main Part ◽  
Minimal Set ◽  
Minimal Sets ◽  
Image Position

AbstractSuppose D ⊂ M is a strongly minimal set definable in M with parameters from C. We say D is locally modular if for all X, Y ⊂ D, with X = acl(X ∪ C)∩D, Y = acl(Y ∪ C) ∩ D and X ∩ Y ≠ ∅,We prove the following theorems.Theorem 1. Suppose M is stable and D ⊂ M is strongly minimal. If D is not locally modular then inMeqthere is a definable pseudoplane.(For a discussion of Meq see [M, §A].) This is the main part of Theorem 1 of [Z2] and the trichotomy theorem of [Z3].Theorem 2. Suppose M is stable and D, D′ ⊂ M are strongly minimal and nonorthogonal. Then D is locally modular if and only if D′ is locally modular.

Craig interpolation theorem for intuitionistic logic and extensions Part III

1977 ◽  
Vol 42 (2) ◽  
pp. 269-271 ◽  
Author(s):  
Dov M. Gabbay
Keyword(s):  
Possible Worlds ◽  
Predicate Logic ◽  
Interpolation Property ◽  
Interpolation Theorem ◽  
Kripke Structure ◽  
Unary Predicate ◽  
The World ◽  
Image Position ◽  
Constant Domains ◽  
Positive Integers

This is a continuation of two previous papers by the same title [2] and examines mainly the interpolation property for the logic CD with constant domains, i.e., the extension of the intuitionistic predicate logic with the schemaIt is known [3], [4] that this logic is complete for the class of all Kripke structures with constant domains.Theorem 47. The strong Robinson consistency theorem is not true for CD.Proof. Consider the following Kripke structure with constant domains. The set S of possible worlds is ω0, the set of positive integers. R is the natural ordering ≤. Let ω0 0 = , Bn, is a sequence of pairwise disjoint infinite sets. Let L0 be a language with the unary predicates P, P1 and consider the following extensions for P,P1 at the world m.(a) P is true on ⋃i≤2nBi, and P1 is true on ⋃i≤2n+1Bi for m = 2n.(b) P is true on ⋃i≤2nBi, and P1 for ⋃i≤2n+1Bi for m = 2n.Let (Δ,Θ) be the complete theory of this structure. Consider another unary predicate Q. Let L be the language with P, Q and let M be the language with P1, Q.

scholarly journals DMP in strongly minimal sets

2007 ◽  
Vol 72 (3) ◽  
pp. 1019-1030 ◽  
Author(s):  
Assaf Hasson ◽  
Ehud Hrushovski
Keyword(s):  
Finite Cover ◽  
Minimal Set ◽  
Minimal Sets ◽  
Minimal Theory

AbstractWe construct a strongly minimal set which is not a finite cover of one with DMP. We also show that for a strongly minimal theory T, generic automorphisms exist iff T has DMP, thus proving a conjecture of Kikyo and Pillay.

Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

1999 ◽  
Vol 64 (3) ◽  
pp. 991-1027 ◽  
Author(s):  
Françoise Delon ◽  
Patrick Simonetta
Keyword(s):  
Abelian Group ◽  
Cross Section ◽  
Additive Group ◽  
Ordered Group ◽  
Unary Predicate ◽  
Valued Fields ◽  
Valued Field ◽  
Ordered Groups ◽  
Existentially Closed ◽  
Image Position

AbstractAn Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields.We will consider structures that we call valued B-groups and which are of the form 〈G, B, *, υ〉 where– G is an abelian group,– B is an ordered group,– υ is a valuation denned on G taking its values in B,– * is an action of B on G satisfying: ∀x ϵ G ∀ b ∈ B υ(x * b) = ν(x) · b.The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications:1. Assume that υ(x) = υ(nx) for every integer n ≠ 0 and x ϵ G, B is solvable and acts on G in such a way that, for the induced action, Z[B] ∖ {0} embeds in the automorphism group of G. Then 〈G, B, *, υ〉 is decidable if and only if B is decidable as an ordered group.2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure:where k((B))+ is the additive group of k((B)), S is a unary predicate interpreting {Tb ∣ b ϵB}, and ×↾k((B))×S is the multiplication restricted to k((B)) × S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable.3. A valued B–group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory.

The Homotopy Set of the Axes of Pairings

1990 ◽  
Vol 42 (5) ◽  
pp. 856-868 ◽  
Author(s):  
Nobuyuki Oda
Keyword(s):  
Group Structure ◽  
Homotopy Classes ◽  
Fundamental Properties ◽  
Cyclic Map ◽  
Cyclic Maps ◽  
Image Position

Varadarajan [13] named a map f: A → X a cyclic map when there exists a map F: X × A → X such that for the folding map ∇X: X ∨ X → X. He defined the generalized Gottlieb set G(A, X) of the homotopy classes of the cyclic maps F: A → X and studied the fundamental properties of G(A, X) If A is a co-Hopf space, then the Varadarajan set G(A, X) has a group structure [13]. The group G(A,X) is a generalization of G(X) and Gn(X) of Gottlieb [2,3]. Some authors studied the properties of the Varadarajan set, its dual and related topics [4, 5, 6, 7,12,15,16,17].

Local homogeneity

2004 ◽  
Vol 69 (4) ◽  
pp. 1243-1260 ◽  
Author(s):  
Bektur Baizhanov ◽  
John T. Baldwin
Keyword(s):  
The Other ◽  
Sufficient Condition ◽  
Finite Cover ◽  
Minimal Set ◽  
Local Homogeneity ◽  
Base Language ◽  
The One ◽  
Stable Structures

Abstract.We study the expansion of stable structures by adding predicates for arbitrary subsets. Generalizing work of Poizat-Bouscaren on the one hand and Baldwin-Benedikt-Casanovas-Ziegler on the other we provide a sufficient condition (Theorem 4.7) for such an expansion to be stable. This generalization weakens the original definitions in two ways: dealing with arbitrary subsets rather than just submodels and removing the ‘small’ or ‘belles paires’ hypothesis. We use this generalization to characterize in terms of pairs, the ‘triviality’ of the geometry on a strongly minimal set (Theorem 2.5). Call a set A benign if any type over A in the expanded language is determined by its restriction to the base language. We characterize the notion of benign as a kind of local homogenity (Theorem 1.7). Answering a question of [8] we characterize the property that M has the finite cover property over A (Theorem 3.9).

Products in homotopy groups with certain prime coefficients

1968 ◽  
Vol 64 (1) ◽  
pp. 11-14
Author(s):  
Paul Green
Keyword(s):  
Homotopy Type ◽  
Group Structure ◽  
Homotopy Groups ◽  
Homotopy Classes ◽  
Image Position ◽  
Simply Connected

Let p be a prime and n ≥ 3. Then there is a simply connected CW-complex, , unique up to homotopy type, such thatLet X be a CW-complex. Write , the group of pointed homotopy classes of pointed maps from to X. The group structure derives from the fact that, under the restriction on n, is a suspension.

Sign in / Sign up

Export Citation Format

Share Document