Two subcategories of apartness spaces
type: Item
instance of: scholarly article
title: Two subcategories of apartness spaces
zbMATH Open document ID: 1251.03094
author: Hajime Ishihara
published in: Annals of Pure and Applied Logic
publication date: 2011-12-12T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54E05
Mathematics Subject Classification ID: 54E17
zbMATH DE Number: 5987967
zbMATH Keywords: constructive mathematics
zbMATH Keywords: neighbourhood space
zbMATH Keywords: uniform space
zbMATH Keywords: apartness space
zbMATH Keywords: adjunction
MaRDI profile type: Publication
full work available at URL: j.apal.2011.06.022
OpenAlex ID: W1972499826
cites work: Aspects of general topology in constructive set theory
cites work: The crisis in contemporary mathematics
cites work: Q3803111
cites work: Q3754620
cites work: Apartness, compactness and nearness
cites work: Apartness, Topology, and Uniformity: a Constructive View
cites work: Apartness spaces as a framework for constructive topology
cites work: Strong and Uniform Continuity – the Uniform Space Case
cites work: Techniques of constructive analysis
cites work: Apartness and Uniformity
cites work: Topoi. The categorial analysis of logic. Rev. ed
cites work: Quasi-apartness and neighbourhood spaces
cites work: Q3023557
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Q5718565
cites work: Q4840146
cites work: Q2752158
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1016/J.APAL.2011.06.022
Recommended article: Q2752158
Recommended article: Q5480940
Recommended article: Separation properties in neighbourhood and quasi‐apartness spaces
Recommended article: Q5710547
Recommended article: Apartness spaces as a framework for constructive topology
Recommended article: Apartness spaces and uniform neighbourhood structures
Recommended article: Q5269761
Recommended article: Q3764873
Recommended article: Q4226479
Recommended article: Compactness notions for an apartness space
description: scientific article; zbMATH DE number 5987967