|
|||||
|
|
Ramified Frege Arithmetic |
|
| Authors: | Richard G. Heck Suffix" >Jr. |
| Affiliation: | 1.Department of Philosophy,Brown University,Providence,USA |
| Abstract: | ?ystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |