Preface to the special issue for The Fifth Workshop on Formal Topology

DOI10.4115/JLA.2019.11.FT0MaRDI QIDQ5224155zbMATH OpenOpenAlexFDO

Authors

Publication date 19 July 2019

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4115/jla.2019.11.ft0

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• Preface: Workshop aspects of contemporary topology V
• scientific article; zbMATH DE number 1420795
• Special issue: Selected papers based on the presentations at the 3rd workshop on formal topology (3WFTop), Padua, Italy, May 9--12, 2007.
• Preface: Special issue on homotopy type theory and univalent foundations
• Preface: Special issue ``Forms and fundamental fields
• scientific article; zbMATH DE number 3874216
• A structural investigation on formal topology: coreflection of formal covers and exponentiability
• scientific article; zbMATH DE number 1258618
• Special issue on point-free geometry and topology. An introduction
• Preface: Open problems in infinite dimensional geometry and topology

Cited in

(7)

• Preface: Workshop aspects of contemporary topology V
• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
• Preface to the special issue: Computing with infinite data: topological and logical foundations
• Introduction
• Preface
• Preface
• Preface

This page was built for publication: Preface to the special issue for The Fifth Workshop on Formal Topology

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