The problem of the formalization of constructive topology
type: Item
instance of: scholarly article
title: The problem of the formalization of constructive topology
zbMATH Open document ID: 1060.03085
author: Silvio Valentini
published in: Archive for Mathematical Logic
publication date: 2005-02-22T00:00:00Z
review text: The paper deals with the problem of adapting the method used to inductively generate formal topologies with a unary positivity predicate to the need for considering a binary positivity predicate. Some effects of the lack of a complete formalization of the concrete topological spaces are discussed.
reviewed by: Pier Luigi Ferrari
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 54F99
Mathematics Subject Classification ID: 03D70
zbMATH DE Number: 2137165
zbMATH Keywords: constructive topology
zbMATH Keywords: inductive generation
zbMATH Keywords: positivity predicate
MaRDI profile type: Publication
full work available at URL: s00153-004-0243-1
OpenAlex ID: W2034294362
cites work: Inductively generated formal topologies.
cites work: Q4150804
cites work: Q3688389
cites work: Tychonoff's theorem in the framework of formal topologies
cites work: Some points in formal topology.
cites work: Q4944859
cites work: Q4247310
DOI: 10.1007/S00153-004-0243-1
description: scientific article; zbMATH DE number 2137165