Minimal invariant spaces in formal topology

DOI10.2307/2275567zbMATH Open0884.03058OpenAlexW2109534877MaRDI QIDQ4372901FDOQ4372901

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

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

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)

Cites Work

• Topological dynamics and combinatorial number theory
• A globalization of the Hahn-Banach theorem
• Title not available (Why is that?)
• A constructive topological proof of van der Waerden's theorem
• Title not available (Why is that?)

Cited In (7)

• The minimal Möbius invariant space
• Space of valuations
• Forcing in Proof Theory
• A Boolean model of ultrafilters
• Title not available (Why is that?)
• Sullivan minimal models of classifying spaces for non-formal spaces of small rank
• Title not available (Why is that?)

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)