Topology as Faithful Communication Through Relations

DOI10.3233/FI-2020-1963MaRDI QIDQ4988935

Giovanni Sambin, Samuele Maschio

Publication date: 20 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1611.03078

zbMATH Keywords

communicationtopologyconstructive mathematicsbasic pairs

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Cites Work

• A minimalist two-level foundation for constructive mathematics
• Some points in formal topology.
• Variational Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topology as Faithful Communication Through Relations