MFPS[removed]Continuity of Gödel’s system T definable - Definable set - Document - PDFSEARCH.IO

First Page	Meta Content
	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Document Date: 2013-06-03 06:05:55 Open Document File Size: 564,47 KB Share Result on Facebook Company Russell / / / Facility Computer Science University of Birmingham Birmingham / / Organization Martín Escardó1 School / Computer Science University of Birmingham Birmingham / / Person Thierry Coquand / Dan Ghica / Achim Jung / / Position Bishop / / ProgrammingLanguage Haskell / / URL www.elsevier.nl/locate/entcs / / SocialTag Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe

MFPS[removed]Continuity of Gödel’s system T definableAdd to Reading List