Élimination des quantificateurs dans les paires de corps algébriquement clos
Confluentes Mathematici, Tome 4 (2012) no. 2, article no. 1250003.
Publié le :
DOI : 10.1142/S179374421250003X 
@article{CML_2012__4_2_A3_0,
     author = {Delon, Fran\c{c}oise},
     title = {\'Elimination des quantificateurs dans les paires de corps alg\'ebriquement clos},
     journal = {Confluentes Mathematici},
     publisher = {World Scientific Publishing Co Pte Ltd},
     volume = {4},
     number = {2},
     year = {2012},
     doi = {10.1142/S179374421250003X},
     language = {fr},
     url = {http://archive.numdam.org/articles/10.1142/S179374421250003X/}
}
TY  - JOUR
AU  - Delon, Françoise
TI  - Élimination des quantificateurs dans les paires de corps algébriquement clos
JO  - Confluentes Mathematici
PY  - 2012
VL  - 4
IS  - 2
PB  - World Scientific Publishing Co Pte Ltd
UR  - http://archive.numdam.org/articles/10.1142/S179374421250003X/
DO  - 10.1142/S179374421250003X
LA  - fr
ID  - CML_2012__4_2_A3_0
ER  - 
%0 Journal Article
%A Delon, Françoise
%T Élimination des quantificateurs dans les paires de corps algébriquement clos
%J Confluentes Mathematici
%D 2012
%V 4
%N 2
%I World Scientific Publishing Co Pte Ltd
%U http://archive.numdam.org/articles/10.1142/S179374421250003X/
%R 10.1142/S179374421250003X
%G fr
%F CML_2012__4_2_A3_0
Delon, Françoise. Élimination des quantificateurs dans les paires de corps algébriquement clos. Confluentes Mathematici, Tome 4 (2012) no. 2, article no. 1250003. doi : 10.1142/S179374421250003X. http://archive.numdam.org/articles/10.1142/S179374421250003X/

[1] W. Baur, On the elementary theory of pairs of real closed fields II, J. Symbolic Logic 47 (1982) 669–679.

[2] F. Delon, Indécidabilité de la théorie des paires immédiates de corps valués henseliens, J. Symbolic Logic 56 (1991) 1236–1242.

[3] F. Delon, Corps C-minimaux, en l’honneur de François Lucas, Ann. Fac. Sci. Toulouse XXI (2012) 201–222.

[4] I. Kaplansky, Maximal fields with valuation, Duke Math. J. 9 (1942) 303–321.

[5] S. Lang, Introduction to Algebraic Geometry (Interscience, 1958).

[6] G. Leloup, Théories complètes de paires de corps valués henseliens, J. Symbolic Logic 55 (1990) 323–339.

[7] G. Leloup, Elimination des quantificateurs dans les paires de corps valués henseliens, J. Symbolic Logic 60 (1995) 548–562.

[8] A. Macintyre, Classifying pairs of real closed fields, Ph.D. Dissertation, Stanford Uni- versity, 1968.

[9] B. Poizat, Paires de structures stables, J. Symbolic Logic 48 (1983) 239–249.

[10] P. Ribenboim, Théorie des Valuations (Presses de l’Université de Montreal, 1964).

[11] A. Robinson, Complete Theories (North-Holland, 1956).

[12] A. Robinson, Solution of a problem of Tarski, Fund. Math. 47 (1959) 179–204.

[13] J. R. Shoenfield, A theorem of quantifier elimination, Symp. Math. 5 (1971) 173–176.

Cité par Sources :