About Goodman's Theorem
Journal article, 2013
We present a proof of Goodman's Theorem, which is a variation of the proof of Renaldel de Lavalette.
Forcing and realizability
Formal topology
Goodman's Theorem
Author
Thierry Coquand
University of Gothenburg
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 164 4 437-442Subject Categories (SSIF 2011)
Computer and Information Science
DOI
10.1016/j.apal.2012.10.007