Συγγραφέας: Harvey M. Friedman
Harvey M. Friedman: What Are These Three Aspects? (pdf, 20 pages)
Provide a formal system that is a conservative extension of PA for Î 02 sentences, and even a conservative extension of HA, that supports the worry free smooth development of constructive analysis in the style of Errett Bishop. |
