On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
type: Item
instance of: scholarly article
title: On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
zbMATH Open document ID: 1223.03050
author: Peter Aczel
author: Giovanni Curi
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54A05
zbMATH DE Number: 5943607
zbMATH Keywords: constructive topology
zbMATH Keywords: separation properties
zbMATH Keywords: point-set topology
zbMATH Keywords: point-free topology
zbMATH Keywords: formal space
zbMATH Keywords: constructive set theory
zbMATH Keywords: constructive type theory
Wikidata QID: Q114016295
MaRDI profile type: Publication
full work available at URL: j.apal.2009.03.005
OpenAlex ID: W1992760717
cites work: Q3937387
cites work: Aspects of general topology in constructive set theory
cites work: Q5718570
cites work: Lattice Aspects of Radical Ideals and Choice Principles
cites work: Q5573965
cites work: On the collection of points of a formal space
cites work: Exact approximations to Stone-Čech compactification
cites work: Atomless Parts of Spaces.
cites work: Q3965241
cites work: A ‘ T1’ space with no closed points, and a “ T1” locale which is not ‘ T1 ’
cites work: Q3999860
cites work: Maximal and partial points in formal spaces
cites work: Q5310884
cites work: T1-locales
cites work: Constructive metrisability in point-free topology.
cites work: The lattice theoretic part of topological separation properties
cites work: Q5613067
DOI: 10.1016/J.APAL.2009.03.005
description: scientific article; zbMATH DE number 5943607