No Cover Image

Book chapter 1031 views 204 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!
first_indexed 2014-11-26T02:40:53Z
last_indexed 2019-06-05T09:21:04Z
id cronfa9214
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-06-03T11:33:52.1075030</datestamp><bib-version>v2</bib-version><id>9214</id><entry>2012-03-06</entry><title>An extended predicative definition of the Mahlo universe</title><swanseaauthors><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-03-06</date><deptcode>SCS</deptcode><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.</abstract><type>Book chapter</type><journal>Ways of Proof Theory</journal><paginationStart>309</paginationStart><paginationEnd>334</paginationEnd><publisher>De Gruyter</publisher><placeOfPublication>Berlin, Boston</placeOfPublication><keywords/><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-01-01</publishedDate><doi>10.1515/9783110324907.315</doi><url>http://dx.doi.org/10.1515/9783110324907.315</url><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-06-03T11:33:52.1075030</lastEdited><Created>2012-03-06T01:04:02.1786696</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Reinhard</firstname><surname>Kahle</surname><order>1</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>2</order></author></authors><documents><document><filename>0009214-18052015010336.pdf</filename><originalFilename>kahleSetzerExtendedPredicativeMahloPohlersFestschrift.pdf</originalFilename><uploaded>2015-05-18T01:03:36.1000000</uploaded><type>Output</type><contentLength>232023</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-18T00:00:00.0000000</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-06-03T11:33:52.1075030 v2 9214 2012-03-06 An extended predicative definition of the Mahlo universe 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2012-03-06 SCS 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. Book chapter Ways of Proof Theory 309 334 De Gruyter Berlin, Boston 1 1 2010 2010-01-01 10.1515/9783110324907.315 http://dx.doi.org/10.1515/9783110324907.315 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-06-03T11:33:52.1075030 2012-03-06T01:04:02.1786696 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Reinhard Kahle 1 Anton Setzer 0000-0001-5322-6060 2 0009214-18052015010336.pdf kahleSetzerExtendedPredicativeMahloPohlersFestschrift.pdf 2015-05-18T01:03:36.1000000 Output 232023 application/pdf Accepted Manuscript true 2015-05-18T00:00:00.0000000 true
title An extended predicative definition of the Mahlo universe
spellingShingle An extended predicative definition of the Mahlo universe
Anton Setzer
title_short An extended predicative definition of the Mahlo universe
title_full An extended predicative definition of the Mahlo universe
title_fullStr An extended predicative definition of the Mahlo universe
title_full_unstemmed An extended predicative definition of the Mahlo universe
title_sort An extended predicative definition of the Mahlo universe
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Reinhard Kahle
Anton Setzer
format Book chapter
container_title Ways of Proof Theory
container_start_page 309
publishDate 2010
institution Swansea University
doi_str_mv 10.1515/9783110324907.315
publisher De Gruyter
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://dx.doi.org/10.1515/9783110324907.315
document_store_str 1
active_str 0
description 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.
published_date 2010-01-01T03:11:07Z
_version_ 1763749991753449472
score 11.012678

Similar Items