Book chapter 1062 views 175 downloads
Universes in type theory part I—Inaccessibles and Mahlo
Logic Colloquium 2004, Pages: 123 - 156
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (298.74KB)
DOI (Published version): 10.1017/CBO9780511721151.009
Abstract
Universes in type theory part I—Inaccessibles and Mahlo
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!
|
Item Description: |
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: |
Faculty of Science and Engineering |
Start Page: |
123 |
End Page: |
156 |