Tychonoff's theorem in the framework of formal topologies

DOI10.2307/2275645zbMath0893.03023OpenAlexW2168509624MaRDI QIDQ4382478

Silvio Valentini, Sara Negri

Publication date: 1 July 1998

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

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

zbMATH Keywords

Martin-Löf type theoryformal topologiesTikhonov product theorem

Mathematics Subject Classification ID

Compactness (54D30) Product spaces in general topology (54B10) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25)

Related Items (9)

Finiteness in a Minimalist Foundation ⋮ The intensional side of algebraic-topological representation theorems ⋮ Inductively generated formal topologies. ⋮ Cosheaves and connectedness in formal topology ⋮ Some points in formal topology. ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ The problem of the formalization of constructive topology ⋮ Compactness in locales and in formal topology ⋮ The locally fine coreflection and normal covers in the products of partition-complete spaces

Cites Work

• Do-it-yourself type theory
• Proper maps of locales
• Constructive domain theory as a branch of intuitionistic pointfree topology
• The point of pointless topology
• Decidability in Intuitionistic Type Theory is Functionally Decidable
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tychonoff's theorem in the framework of formal topologies