Book chapter 1158 views 229 downloads
An extended predicative definition of the Mahlo universe
Reinhard Kahle,
Anton Setzer 
Ways of Proof Theory, Pages: 309 - 334
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (260.2KB)
DOI (Published version): 10.1515/9783110324907.315
Abstract
This article, which will be reviewed by Zentralblatt Math, contains the first predicative definition of the Mahlo universe, by extending the concept of predicativity. This is a break through result, since it introduces a methodology which allows to justify proof theoretically much stronger theories...
| Published in: | Ways of Proof Theory |
|---|---|
| Published: |
Berlin, Boston
De Gruyter
2010
|
| Online Access: |
http://dx.doi.org/10.1515/9783110324907.315 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa9214 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
This article, which will be reviewed by Zentralblatt Math, contains the first predicative definition of the Mahlo universe, by extending the concept of predicativity. This is a break through result, since it introduces a methodology which allows to justify proof theoretically much stronger theories than were known before predicatively.Before this article predicativity was limited to inductive recursive definition, and it was widely believed that it is impossible to go beyond that notion in a predicative way. With this article for the first time this barrier has been passed using a novel approach. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
309 |
| End Page: |
334 |