scientific article; zbMATH DE number 937395

zbMATH Open0862.03036MaRDI QIDQ4896536FDOQ4896536

Silvio Valentini

Publication date: 20 October 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive approach to topologycompleteness theorem for formal topologiesMartin Löf's intuitionistic theory of types

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Second- and higher-order arithmetic and fragments (03F35)

Cited In (3)

• Title not available (Why is that?)
• Independence results in formal topology
• A relative completeness theorem

Recommendations

• Some points in formal topology. 👍 👎
• On some peculiar aspects of the constructive theory of point-free spaces 👍 👎
• The problem of the formalization of constructive topology 👍 👎
• Constructive theory of sets with types; compatibility with Church's thesis 👍 👎
• A New Approach to Constructive Topology and Measure Theory 👍 👎

This page was built for publication:

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