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-442

Subject Categories

Computer and Information Science

DOI

10.1016/j.apal.2012.10.007

More information

Created

10/10/2017