Relative lawlessness in intuitionistic analysis

Publisher： Cambridge University Press

E-ISSN： 1943-5886|52|1|68-88

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.52, Iss.1, 1987-03, pp. : 68-88

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

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

Classical and constructive hierarchies in extended intuitionistic analysis

By  

The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. : 1015-1043

Cambridge University Press

Access to resources Recommend Favorite

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

By  

The Journal of Symbolic Logic, Vol. 31, Iss. 3, 1966-09 ,pp. : 325-358

Cambridge University Press

Access to resources Recommend Favorite

Intuitionistic fuzzy logic and intuitionistic fuzzy set theory

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 851-866

Cambridge University Press

Access to resources Recommend Favorite