Élimination des quantificateurs dans des paires de corps

E-ISSN： 1943-5886|60|2|548-562

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.60, Iss.2, 1995-06, pp. : 548-562

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Indécidabilité de la théorie des paires immédiates de corps valués henseliens

The Journal of Symbolic Logic, Vol. 56, Iss. 4, 1991-12 ,pp. : 1236-1242

Cambridge University Press

Access to resources Recommend Favorite

Paires élémentaires de corps pseudo-finis: dénombrement des complétions (Elementary pairs of pseudo-finite fields: counting completions)

The Journal of Symbolic Logic, Vol. 65, Iss. 2, 2000-06 ,pp. : 705-718

Cambridge University Press

Access to resources Recommend Favorite

Indécidabilité des corps de courbe réelle

The Journal of Symbolic Logic, Vol. 59, Iss. 1, 1994-03 ,pp. : 87-91

Cambridge University Press

Access to resources Recommend Favorite

Théories complètes de paires de corps valués henseliens

The Journal of Symbolic Logic, Vol. 55, Iss. 1, 1990-03 ,pp. : 323-339

Cambridge University Press

Access to resources Recommend Favorite

Périodicité des théories élémentaires des corps de séries formelles itérées

The Journal of Symbolic Logic, Vol. 51, Iss. 2, 1986-06 ,pp. : 334-351

Cambridge University Press

Access to resources Recommend Favorite