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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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