No Cover Image

Book chapter 378 views 25 downloads

Universes in type theory part I—Inaccessibles and Mahlo / Anton, Setzer

Logic Colloquium 2004, Pages: 123 - 156

Swansea University Author: Anton, Setzer

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!
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: College of Science
Start Page: 123
End Page: 156