Preface to the special issue for The Fifth Workshop on Formal Topology
type: Item
instance of: scholarly article
title: Preface to the special issue for The Fifth Workshop on Formal Topology
zbMATH Open document ID: 1445.00023
published in: Journal of Logic and Analysis
publication date: 2019-07-19T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 7082965
MaRDI profile type: Publication
full work available at URL: jla.2019.11.ft0
OpenAlex ID: W2953862862
DOI: 10.4115/JLA.2019.11.FT0
Recommended article: Preface: Workshop aspects of contemporary topology V
Recommended article: Q4944859
Recommended article: Special issue: Selected papers based on the presentations at the 3rd workshop on formal topology (3WFTop), Padua, Italy, May 9--12, 2007.
Recommended article: Preface: Special issue on homotopy type theory and univalent foundations
Recommended article: Q5016512
Recommended article: Q3339774
Recommended article: A structural investigation on formal topology: coreflection of formal covers and exponentiability
Recommended article: Q4229197
Recommended article: Special Issue on point-free geometry and topology. An introduction
Recommended article: Preface: Open problems in infinite dimensional geometry and topology
description: scientific article; zbMATH DE number 7082965