Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis

Publisher： Cambridge University Press

E-ISSN： 1943-5886|65|3|1014-1030

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.65, Iss.3, 2000-09, pp. : 1014-1030

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

The undecidability of intuitionistic theories of algebraically closed fields and real closed fields

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 1, 1973-03 ,pp. : 86-92

Cambridge University Press

Access to resources Recommend Favorite

Minimal readability of intuitionistic arithmetic and elementary analysis

By  

The Journal of Symbolic Logic, Vol. 60, Iss. 4, 1995-12 ,pp. : 1208-1241

Cambridge University Press

Access to resources Recommend Favorite

Topological elementary equivalence of closed semi-algebraic sets in the real plane

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 4, 2000-12 ,pp. : 1530-1555

Cambridge University Press

Access to resources Recommend Favorite

Elementary intuitionistic theories

By  

The Journal of Symbolic Logic, Vol. 38, Iss. 1, 1973-03 ,pp. : 102-134

Cambridge University Press

Access to resources Recommend Favorite

Sufficient conditions for the undecidability of intuitionistic theories with applications1

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 2, 1972-06 ,pp. : 375-384

Cambridge University Press

Access to resources Recommend Favorite