On the decidability of the real field with a generic power function

E-ISSN： 1943-5886|76|4|1418-1428

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.76, Iss.4, 2011-12, pp. : 1418-1428

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

Recursive in a generic real

The Journal of Symbolic Logic, Vol. 65, Iss. 1, 2000-03 ,pp. : 164-172

Cambridge University Press

Access to resources Recommend Favorite

Uniform model-completeness for the real field expanded by power functions

The Journal of Symbolic Logic, Vol. 75, Iss. 4, 2010-12 ,pp. : 1441-1461

Cambridge University Press

Access to resources Recommend Favorite

Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function

The Journal of Symbolic Logic, Vol. 62, Iss. 4, 1997-12 ,pp. : 1173-1178

Cambridge University Press

Access to resources Recommend Favorite

Generic Fiber of Power Series Ring Extensions

By Dumitrescu Tiberiu

Communications in Algebra, Vol. 37, Iss. 3, 2009-03 ,pp. : 1098-1103

Taylor & Francis Ltd

Access to resources Recommend Favorite

DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D+XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

The Journal of Symbolic Logic, Vol. 79, Iss. 1, 2014-04 ,pp. : 296-305

Cambridge University Press

Access to resources Recommend Favorite