About Goodman's Theorem
Artikel i vetenskaplig tidskrift, 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
Författare
Thierry Coquand
Göteborgs universitet
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 164 4 437-442Ämneskategorier
Data- och informationsvetenskap
DOI
10.1016/j.apal.2012.10.007