About Goodman's theorem

DOI10.1016/j.apal.2012.10.007zbMath1284.03267OpenAlexW2275376313MaRDI QIDQ1942040

Thierry Coquand

Publication date: 15 March 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.007

zbMATH Keywords

forcingrealizabilityformal topologyGoodman's theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Metamathematics of constructive systems (03F50)

Related Items (3)

The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Arithmetical conservation results ⋮ On Goodman realizability

This page was built for publication: About Goodman's theorem