Minimal invariant spaces in formal topology

DOI10.2307/2275567zbMath0884.03058OpenAlexW2109534877MaRDI QIDQ4372901

Thierry Coquand

Publication date: 17 March 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275567

zbMATH Keywords

consistencypointfree topologyvan der Waerden's theorem on arithmetic progressionsconstructive approach to topologyexistence of minimal invariant subspacesgeometric propositional theory

Mathematics Subject Classification ID

Related Items (4)

Unnamed Item ⋮ Forcing in Proof Theory ⋮ Space of valuations ⋮ A Boolean model of ultrafilters

Cites Work

• Unnamed Item
• Unnamed Item
• Topological dynamics and combinatorial number theory
• A globalization of the Hahn-Banach theorem
• A constructive topological proof of van der Waerden's theorem

This page was built for publication: Minimal invariant spaces in formal topology