Book chapter 1110 views 193 downloads
Universes in type theory part I—Inaccessibles and Mahlo
Anton Setzer 
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 |