Minimal invariant spaces in formal topology

DOI10.2307/2275567MaRDI QIDQ4372901zbMATH OpenOpenAlexFDO

Authors 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

Enumerative combinatorics (05A99) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Stone spaces (Boolean spaces) and related structures (06E15)

Recommendations

• A constructive topological proof of van der Waerden's theorem
• scientific article; zbMATH DE number 4131252
• Proof mining in topological dynamics
• Some points in formal topology.
• A New Approach to Constructive Topology and Measure Theory

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3755473 (Why is no real title available?)
• A constructive topological proof of van der Waerden's theorem
• A globalization of the Hahn-Banach theorem
• Topological dynamics and combinatorial number theory

Cited in

(7)

• The minimal Möbius invariant space
• Space of valuations
• A Boolean model of ultrafilters
• Forcing in Proof Theory
• scientific article; zbMATH DE number 1497758 (Why is no real title available?)
• Sullivan minimal models of classifying spaces for non-formal spaces of small rank
• scientific article; zbMATH DE number 5566503 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372901)