Book chapter 866 views 181 downloads
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
Volume: Proceedings in honour of the 100th birthday of Kurt Schuette
Swansea University Author: Anton Setzer
-
PDF | Accepted Manuscript
Download (471.25KB)
Abstract
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
Published: |
Springer
2019
|
---|---|
URI: | https://cronfa.swan.ac.uk/Record/cronfa51297 |
first_indexed |
2019-08-02T06:32:26Z |
---|---|
last_indexed |
2019-10-18T14:21:39Z |
id |
cronfa51297 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2019-10-18T12:18:33.7755976</datestamp><bib-version>v2</bib-version><id>51297</id><entry>2019-08-02</entry><title>An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one 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>2019-08-02</date><deptcode>MACS</deptcode><abstract/><type>Book chapter</type><journal/><volume>Proceedings in honour of the 100th birthday of Kurt Schuette</volume><publisher>Springer</publisher><keywords/><publishedDay>17</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-07-17</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-10-18T12:18:33.7755976</lastEdited><Created>2019-08-02T03:55:16.7008857</Created><authors><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>1</order></author></authors><documents><document><filename>0051297-02082019035709.pdf</filename><originalFilename>1papdiss.pdf</originalFilename><uploaded>2019-08-02T03:57:09.4470000</uploaded><type>Output</type><contentLength>413854</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2020-08-09T00:00:00.0000000</embargoDate><copyrightCorrect>false</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807> |
spelling |
2019-10-18T12:18:33.7755976 v2 51297 2019-08-02 An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2019-08-02 MACS Book chapter Proceedings in honour of the 100th birthday of Kurt Schuette Springer 17 7 2019 2019-07-17 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2019-10-18T12:18:33.7755976 2019-08-02T03:55:16.7008857 Anton Setzer 0000-0001-5322-6060 1 0051297-02082019035709.pdf 1papdiss.pdf 2019-08-02T03:57:09.4470000 Output 413854 application/pdf Accepted Manuscript true 2020-08-09T00:00:00.0000000 false eng |
title |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
spellingShingle |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe Anton Setzer |
title_short |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
title_full |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
title_fullStr |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
title_full_unstemmed |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
title_sort |
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe |
author_id_str_mv |
5f7695285397f46d121207120247c2ae |
author_id_fullname_str_mv |
5f7695285397f46d121207120247c2ae_***_Anton Setzer |
author |
Anton Setzer |
author2 |
Anton Setzer |
format |
Book chapter |
container_volume |
Proceedings in honour of the 100th birthday of Kurt Schuette |
publishDate |
2019 |
institution |
Swansea University |
publisher |
Springer |
document_store_str |
1 |
active_str |
0 |
published_date |
2019-07-17T07:46:54Z |
_version_ |
1821390787454173184 |
score |
11.047739 |