No Cover Image

Book chapter 1038 views 171 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
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