Eine rekursiv präsentierte Gruppe mit unentscheidbarem Wortlaut.
Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen.
Eine Variante des Ordinalzahlbezeichnungssystems ... .
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Eine weit reichende Wohlordnung der naturlichen zahlen
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
Einige Charakterisationen von Ketten
Einstein Structures: Existence Versus Uniqueness.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El problema del árbol minimal para grafos difusos.
Basándonos en algunas definiciones previas, se analiza el problema del árbol generador difuso. En primer lugar se trata su existencia y después se encuentra el árbol generador difuso de mínimo costo mediante una descomposición por α-cortes. El estudio se realiza para dos estructuras diferentes de costos.
El Reticulo De Las Logicas De Primer Orden Con Cuantificadores Cardinales.
El sistema dels nombres reals revisat.
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 interpretations of negationless arithmetic
Elementary proofs and the sums differences problem.
In this paper, we rule out the possibility that a certain method of proof in the sums differences conjecture can settle the Kakeya Conjecture.