Fragment of Nonstandard Analysis with a Finitary Consistency Proof

Publisher： Cambridge University Press

E-ISSN： 1943-5894|13|1|54-70

ISSN： 1079-8986

Source： Bulletin of Symbolic Logic, Vol.13, Iss.1, 2007-03, pp. : 54-70

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

Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof

By  

The Journal of Symbolic Logic, Vol. 60, Iss. 1, 1995-03 ,pp. : 122-159

Cambridge University Press

Access to resources Recommend Favorite

A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. : 81-87

Cambridge University Press

Access to resources Recommend Favorite

A relative consistency proof1

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 1, 1954-03 ,pp. : 21-28

Cambridge University Press

Access to resources Recommend Favorite

Nonstandard analysis in topology: nonstandard and standard compactifications

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Standard foundations for nonstandard analysis

By  

The Journal of Symbolic Logic, Vol. 57, Iss. 2, 1992-06 ,pp. : 741-748

Cambridge University Press

Access to resources Recommend Favorite