scientific article; zbMATH DE number 1420795

MaRDI QIDQ4944859zbMATH OpenFDO

Authors Giovanni Sambin, Silvia Gebellato

Publication date 23 January 2001

zbMATH Keywords

constructive type theoryformal topologyintuitionistic logic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) Logical aspects of ?ukasiewicz and Post algebras (03G20) Frames, locales (06D22) Generalities in topology (54A99)

Recommendations

• Some points in formal topology.
• Relative formal topology: the binary positivity predicate comes first
• The problem of the formalization of constructive topology
• scientific article; zbMATH DE number 1531375
• On the meaning of positivity relations for regular formal spaces

Cited in

(25)

• On the formal points of the formal topology of the binary tree
• Some points in formal topology.
• Embedding locales and formal topologies into positive topologies
• The problem of the formalization of constructive topology
• C for constructivism. Beyond clichés
• Aspects of general topology in constructive set theory
• Completions, comonoids, and topological spaces
• Programming interfaces and basic topology
• Formal Zariski topology: Positivity and points
• Positivity relations on a locale
• Relative formal topology: the binary positivity predicate comes first
• Three lessons on the topological and algebraic hidden core of rough set theory
• Competitive equilibrium with intuitionistic agents
• scientific article; zbMATH DE number 1531375 (Why is no real title available?)
• Topology as Faithful Communication Through Relations
• Dialectical Rough Sets, Parthood and Figures of Opposition-I
• The Multi-purpose Role of the Relational Approach to Classic and Generalized Approximation Spaces. A Tutorial
• Preface to the special issue for The Fifth Workshop on Formal Topology
• On the meaning of positivity relations for regular formal spaces
• Intuitionistic mereology
• Crypto-preorders, topological relations, information and logic
• A model theory of topology
• The basic Zariski topology
• Finitary formal topologies and Stone's representation theorem
• The Zariski spectrum as a formal geometry

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 Q4944859)