Mathematical Proof Theory in the Light of Ordinal Analysis

Author： Kahle R.  

Publisher： Springer Publishing Company

ISSN： 0039-7857

Source： Synthese, Vol.133, Iss.1-2, 2002-10, pp. : 237-255

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 Church–Fitch knowability paradox in the light of structural proof theory

By Maffezioli Paolo   Naibo Alberto   Negri Sara  

Synthese, Vol. 190, Iss. 14, 2013-09 ,pp. : 2677-2716

Springer Publishing Company

Access to resources Recommend Favorite

The Phenomenology of Mathematical Proof

By Rota G.  

Synthese, Vol. 111, Iss. 2, 1997-05 ,pp. : 183-196

Springer Publishing Company

Access to resources Recommend Favorite

Mathematical Method and Proof

By Avigad Jeremy  

Synthese, Vol. 153, Iss. 1, 2006-11 ,pp. : 105-159

Springer Publishing Company

Access to resources Recommend Favorite

The Surveyability of Mathematical Proof: A Historical Perspective

By Bassler O.  

Synthese, Vol. 148, Iss. 1, 2006-01 ,pp. : 99-133

Springer Publishing Company

Access to resources Recommend Favorite

Theories and Ordinals in Proof Theory

By Rathjen Michael  

Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. : 719-743

Springer Publishing Company

Access to resources Recommend Favorite