No Cover Image

Book chapter 735 views 153 downloads

An extended predicative definition of the Mahlo universe

Reinhard Kahle, Anton Setzer Orcid Logo

Ways of Proof Theory, Pages: 309 - 334

Swansea University Author: Anton Setzer Orcid Logo

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...

Full description

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