Diagonal-like embeddings
Diassociativity is not finitely based relative to power associativity
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
Die Amalgamierungseigenschaft und reine Ringe.
Die automorhismenmengen der Modelle einer L...-Theorie.
Direct multiples and powers of modules
Disturbance modeling and state estimation for offset-free predictive control with state-space process models
Double-dual -types over Banach spaces not containing .
Dually slender modules and steady rings.
Dynamical properties of the automorphism groups of the random poset and random distributive lattice
A method is developed for proving non-amenability of certain automorphism groups of countable structures and is used to show that the automorphism groups of the random poset and random distributive lattice are not amenable. The universal minimal flow of the automorphism group of the random distributive lattice is computed as a canonical space of linear orderings but it is also shown that the class of finite distributive lattices does not admit hereditary order expansions with the Amalgamation Property....
-стабильные теории
Effective bounds on Morley rank
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.
Eine algebraische Konstruktion abzählbarer Modelle.
El Reticulo De Las Logicas De Primer Orden Con Cuantificadores Cardinales.
Elementare Aussagen zur Arithmetik und Galoistheorie von Funktionenkörpern.
Elementary embeddings in torsion-free hyperbolic groups
We describe first-order logic elementary embeddings in a torsion-free hyperbolic group in terms of Sela’s hyperbolic towers. Thus, if embeds elementarily in a torsion free hyperbolic group , we show that the group can be obtained by successive amalgamations of groups of surfaces with boundary to a free product of with some free group and groups of closed surfaces. This gives as a corollary that an elementary subgroup of a finitely generated free group is a free factor. We also consider the...
Elementary equivalence and codimension in p-adic fields.
Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of [0,1]ⁿ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable...
Elementary regular rings. II.