Errata to the paper "Models of second order arithmetic with definable Skolem functions", Fundamenta Mathematicae 75 (1972), pp. 223-234
Erratum to: “Elementary embeddings in torsion-free hyperbolic groups”
Existency-Closed Groups in X_1 with Special Properties
Exponentiations over the quantum algebra
We define and compare, by model-theoretical methods, some exponentiations over the quantum algebra . We discuss two cases, according to whether the parameter is a root of unity. We show that the universal enveloping algebra of embeds in a non-principal ultraproduct of , where varies over the primitive roots of unity.
Extensions of Büchi's problem: Questions of decidability for addition and kth powers
We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the kth powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = ℤ. We reduce a negative answer for k = 2 and for...
Fields with analytic structure
Finitely generated congruence distributive quasivarieties of algebras
First Order Classes of Groups Having no Groups With a Given Property
First-order definability and algebraicity of the sets of annihilating and generating collections of elements for some relatively free solvable groups.
Galois coverings and the problem of axiomatization of the representation type of algebras.
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Geometrical model theory.
Gödel's diagonalization technique and related properties of theories
Groupes nilpotents existentiellement clos de classe fixée
H. L. M. (Hrushovski-Lang-Mordell)
Idéaux et types sur les corps séparablement clos
Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
Infinitary equivalence of abelian groups
Infinitary stationary logic and abelian groups
Interpreting number theory in nilpotent groups.