Logic Colloquium 2006: The inevitability of logical strength: Strict reverse mathematics
作者： Harvey M. Friedman
DOI: 10.1017/CBO9780511605321.008
关键词:
摘要:
sci-hub.se 参考文章(12)
Michael J. Beeson, Foundations of Constructive Mathematics Springer Berlin Heidelberg. ,(1985) , 10.1007/978-3-642-68952-9
Harvey M. Friedman, FINITE REVERSE MATHEMATICS Social Science Research Network. ,(2001)
Theodore Hailperin, Logics without existence assumptions Almqvist & Wiksell. ,(1968) , 10.2307/2273023
Karel Lambert, Philosophical applications of free logic Oxford University Press. ,(1991)
A.J. wilkie, On Sentences Interpretrble in Systems of Arithmetic Studies in logic and the foundations of mathematics. ,vol. 120, pp. 329- 342 ,(1986) , 10.1016/S0049-237X(08)70469-5
Solomon Feferman, Constructive Theories of Functions and Classes Studies in logic and the foundations of mathematics. ,vol. 97, pp. 159- 224 ,(1979) , 10.1016/S0049-237X(08)71625-2
C. Smoryński, Nonstandard Models and Related Developments Studies in logic and the foundations of mathematics. ,vol. 117, pp. 179- 229 ,(1985) , 10.1016/S0049-237X(09)70160-0
Stephen G. Simpson, Subsystems of Second Order Arithmetic ,(1999)
Pavel Pudlák, Petr Hájek, Metamathematics of First-Order Arithmetic ,(1992)
Solomon Feferman, A Language and Axioms for Explicit Mathematics Springer Berlin Heidelberg. pp. 87- 139 ,(1975) , 10.1007/BFB0062852