1 M ay 2 00 9 Krull dimension of types in a class of first - order theories
نویسنده
چکیده
We study a class of first-order theories whose complete quantifier-free types with one free variable either have a trivial positive part or are isolated by a positive quantifier-free formula—plus a few other technical requirements. The theory of vector spaces and the theory fields are examples. We prove the amalgamation property and the existence of a model-companion. We show that the model-companion is strongly minimal. We also prove that the length of any increasing sequence of prime types is bounded, so every formula has finite Krull dimension.
منابع مشابه
ar X iv : 0 80 9 . 27 34 v 3 [ he p - th ] 2 1 M ay 2 00 9 Boundary Lax pairs for the A ( 1 ) n Toda field theories
Based on the recent formulation of a general scheme to construct boundary Lax pairs, we develop this systematic construction for the A (1) n affine Toda field theories (ATFT). We work out explicitly the first two models of the hierarchy, i.e. the sineGordon (A (1) 1 ) and the A (1) 2 models. The A (1) 2 Toda theory is the first non-trivial example of the hierarchy that exhibits two distinct typ...
متن کاملUpper bounds for noetherian dimension of all injective modules with Krull dimension
In this paper we give an upper bound for Noetherian dimension of all injective modules with Krull dimension on arbitrary rings. In particular, we also give an upper bound for Noetherian dimension of all Artinian modules on Noetherian duo rings.
متن کاملOn co-Noetherian dimension of rings
We define and studyco-Noetherian dimension of rings for which the injective envelopeof simple modules have finite Krull-dimension. This is a Moritainvariant dimension that measures how far the ring is from beingco-Noetherian. The co-Noetherian dimension of certain rings,including commutative rings, are determined. It is shown that the class ${mathcal W}_n$ of rings with co-Noetherian dimension...
متن کامل2 M ay 2 00 9 . BUFFON NEEDLES LANDING NEAR SIERPINSKI GASKET
In this paper we modify the method of Nazarov, Peres, and Volberg [14] to get an estimate from above of the Buffon needle probability of the nth partially constructed Sierpinski gasket of Hausdorff dimension 1.
متن کامل2 7 M ay 2 00 2 ORDER IDEALS AND A GENERALIZED KRULL HEIGHT THEOREM
Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N∗(x) of an element x ∈ N to be bounded by the rank of N . The Generalized Principal Ideal Theorem of Bruns, Eisenbud and Evans says that this inequality always holds if x ∈ mN . We show that the inequality even holds if the hypothesis becomes true after first extending sc...
متن کامل