8 results
SEPARABLY CLOSED FIELDS AND CONTRACTIVE ORE MODULES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1315-1338
- Print publication:
- December 2015
-
- Article
- Export citation
Corrigendum to: “Quantifier elimination in valued Ore modules”
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 727-728
- Print publication:
- June 2012
-
- Article
- Export citation
Quantifier elimination in valued Ore modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1007-1034
- Print publication:
- September 2010
-
- Article
- Export citation
Anneaux de fonctions p-adiques
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-497
- Print publication:
- June 1995
-
- Article
- Export citation
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
- Print publication:
- June 1995
-
- Article
- Export citation
Indécidabilité des corps de courbe réelle
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-91
- Print publication:
- March 1994
-
- Article
- Export citation
Définissabilité dans les corps de fonctions p-adiques
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-785
- Print publication:
- September 1991
-
- Article
- Export citation
Anneaux p-adiquement clos et anneaux de fonctions définissables
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-553
- Print publication:
- June 1991
-
- Article
- Export citation