The intrinsic topology of Martin-Löf universes

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

337 Downloads (Pure)

Original language	English
Pages (from-to)	794-805
Journal	Annals of Pure and Applied Logic
Volume	167
Issue number	9
Early online date	28 Apr 2016
DOIs	https://doi.org/10.1016/j.apal.2016.04.010
Publication status	Published - 1 Sept 2016

Access to Document

@article{f226a351a9394dba8fa7443367bf49b4,

title = "The intrinsic topology of Martin-L{\"o}f universes",

author = "Escard{\'o}, \{Mart{\'i}n H{\"o}tzel\} and Thomas Streicher",

year = "2016",

month = sep,

day = "1",

doi = "10.1016/j.apal.2016.04.010",

language = "English",

volume = "167",

pages = "794--805",

journal = "Annals of Pure and Applied Logic",

issn = "01680072",

publisher = "Elsevier",

number = "9",

}