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