No Cover Image

Book chapter 1012 views 164 downloads

Universes in type theory part I—Inaccessibles and Mahlo

Anton Setzer Orcid Logo

Logic Colloquium 2004, Pages: 123 - 156

Swansea University Author: Anton Setzer Orcid Logo

DOI (Published version): 10.1017/CBO9780511721151.009

Published in: Logic Colloquium 2004
ISBN: 9780511721151
Published: Cambridge University Press 2008
URI: https://cronfa.swan.ac.uk/Record/cronfa8063
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T12:00:11Z
last_indexed 2019-06-05T09:19:24Z
id cronfa8063
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-06-03T11:41:04.6732647</datestamp><bib-version>v2</bib-version><id>8063</id><entry>2012-02-22</entry><title>Universes in type theory part I&#x2014;Inaccessibles and Mahlo</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-02-22</date><deptcode>SCS</deptcode><abstract></abstract><type>Book chapter</type><journal>Logic Colloquium 2004</journal><paginationStart>123</paginationStart><paginationEnd>156</paginationEnd><publisher>Cambridge University Press</publisher><isbnPrint>9780511721151</isbnPrint><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2008</publishedYear><publishedDate>2008-12-31</publishedDate><doi>10.1017/CBO9780511721151.009</doi><url/><notes>In A. Andretta, K. Kearnes, and D. Zambella, editors, Logic Colloquium "04, pages 123 - 156. Association of Symbolic Logic, Lecture Notes in Logic 29, Cambridge University Press, 2008.</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:41:04.6732647</lastEdited><Created>2012-02-22T13:37:06.0000000</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>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>1</order></author></authors><documents><document><filename>0008063-18052015005955.pdf</filename><originalFilename>modeltypetheoryinaccessiblemahlo.pdf</originalFilename><uploaded>2015-05-17T17:34:07.7070000</uploaded><type>Output</type><contentLength>268542</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-18T00:59:55.0000000</embargoDate><documentNotes/><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-06-03T11:41:04.6732647 v2 8063 2012-02-22 Universes in type theory part I—Inaccessibles and Mahlo 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2012-02-22 SCS Book chapter Logic Colloquium 2004 123 156 Cambridge University Press 9780511721151 31 12 2008 2008-12-31 10.1017/CBO9780511721151.009 In A. Andretta, K. Kearnes, and D. Zambella, editors, Logic Colloquium "04, pages 123 - 156. Association of Symbolic Logic, Lecture Notes in Logic 29, Cambridge University Press, 2008. COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-06-03T11:41:04.6732647 2012-02-22T13:37:06.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Anton Setzer 0000-0001-5322-6060 1 0008063-18052015005955.pdf modeltypetheoryinaccessiblemahlo.pdf 2015-05-17T17:34:07.7070000 Output 268542 application/pdf Accepted Manuscript true 2015-05-18T00:59:55.0000000 false
title Universes in type theory part I—Inaccessibles and Mahlo
spellingShingle Universes in type theory part I—Inaccessibles and Mahlo
Anton Setzer
title_short Universes in type theory part I—Inaccessibles and Mahlo
title_full Universes in type theory part I—Inaccessibles and Mahlo
title_fullStr Universes in type theory part I—Inaccessibles and Mahlo
title_full_unstemmed Universes in type theory part I—Inaccessibles and Mahlo
title_sort Universes in type theory part I—Inaccessibles and Mahlo
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Anton Setzer
format Book chapter
container_title Logic Colloquium 2004
container_start_page 123
publishDate 2008
institution Swansea University
isbn 9780511721151
doi_str_mv 10.1017/CBO9780511721151.009
publisher Cambridge University Press
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
document_store_str 1
active_str 0
published_date 2008-12-31T03:10:07Z
_version_ 1763749928713060352
score 11.013731

Similar Items