Sur la complexité du principe de Tarski-Seidenberg
Displaying 141 – 160 of 251
Sur la complexité du principe de Tarski-Seidenberg
Joos Heintz, Marie-Françoise Roy, Pablo Solerno (1989)
Publications mathématiques et informatique de Rennes
Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Jorge Herrera (1984)
Revista colombiana de matematicas
Sur la théorie élémentaire des groupes libres
Frédéric Paulin (2002/2003)
Séminaire Bourbaki
Sela a annoncé une solution complète d’un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu’un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont “limites”de groupes libres, ou encore, qui ont la même théorie universelle qu’un groupe libre). Nous indiquerons quelques outils utilisés par Sela...
Tarski's problem about the elementary theory of free groups has a positive solution.
Kharlampovich, Olga, Myasnikov, Alexei (1998)
Electronic Research Announcements of the American Mathematical Society [electronic only]
The diameter of a Lascar strong type
Ludomir Newelski (2003)
Fundamenta Mathematicae
We prove that a type-definable Lascar strong type has finite diameter. We also answer some other questions from [1] on Lascar strong types. We give some applications on subgroups of type-definable groups.
The Elementary Theory of co-Free Ax Fields
M. Jarden (1976)
Inventiones mathematicae
The Field of Reals with a Predicate for the Powers of Two.
Lou van den Dries (1986)
Manuscripta mathematica
The Functor Bext under the Negation of CH.
Manfred Dugas, Bernhard Thomé (1991)
Forum mathematicum
The -theory of profinite abelian groups
Peter Schmitt (1983)
Fundamenta Mathematicae
The limit behaviour of exponential terms
Bernd Dahn (1984)
Fundamenta Mathematicae
The model theory of generalized real closed fields.
Bill Jacob (1981)
Journal für die reine und angewandte Mathematik
The model-completion of Stone algebras
Peter H. Schmitt (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
The rational field is not universally definable in pseudo-exponentiation
Jonathan Kirby (2016)
Fundamenta Mathematicae
We show that the field of rational numbers is not definable by a universal formula in Zilber's pseudo-exponential field.
The real closure of a commutative regular f-ring
Leonard Lipshitz (1977)
Fundamenta Mathematicae
The theory of Archimedean real closed fields in logics with Ramsey quantifiers
J. Cowles (1979)
Fundamenta Mathematicae
The theory of dual groups
A. Mekler, G. Schlitt (1994)
Fundamenta Mathematicae
We study the -theory of sequences of dual groups and give a complete classification of the -elementary classes by finding simple invariants for them. We show that nonstandard models exist.
The Ziegler spectrum of a tame hereditary algebra
Claus Ringel (1998)
Colloquium Mathematicae
Theorems on groups of finite Morley rank analogous to theorems on finite groups.
Corredor, Luis Jaime, Ortiz, Fabio (2002)
Revista Colombiana de Matemáticas
Théorie des modèles et conjecture de Manin-Mumford
Élisabeth Bouscaren (1999/2000)
Séminaire Bourbaki