-стабильные теории
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.
Elementary submodels of parametrizable models.
Elementary versions of the Sylvester-Gallai theorem.
Elimination theory for the ring of algebraic integers.
Embedding sums of cancellative modes into semimodules
A mode (idempotent and entropic algebra) is a Lallement sum of its cancellative submodes over a normal band if it has a congruence with a normal band quotient and cancellative congruence classes. We show that such a sum embeds as a subreduct into a semimodule over a certain ring, and discuss some consequences of this fact. The result generalizes a similar earlier result of the authors proved in the case when the normal band is a semilattice.
Embeddings, amalgamation and elementary equivalence: the representation of compact logics
Embeddings into Simple Lattice-ordered Groups with Different First Order Theories.
End-extending models of
End-extensions of countable structures and the induction schema
Endomorphic universes and their standard extensions