Metric spaces in synthetic topology
type: Item
instance of: scholarly article
title: Metric spaces in synthetic topology
zbMATH Open document ID: 1251.03081
author: Andrej Bauer
author: Davorin Lešnik
published in: Annals of Pure and Applied Logic
publication date: 2011-12-12T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 54E35
zbMATH DE Number: 5987963
zbMATH Keywords: synthetic topology
zbMATH Keywords: constructive metric spaces
zbMATH Keywords: metrization axiom
MaRDI profile type: Publication
full work available at URL: j.apal.2011.06.017
OpenAlex ID: W1975572797
Wikidata QID: Q115902567
cites work: First steps in synthetic computability theory
cites work: Q3803111
cites work: Q3754620
cites work: Q5737081
cites work: Q3849891
cites work: Synthetic topology: of data types and classical spaces
cites work: Q3248969
cites work: Q3671978
cites work: Q3978973
cites work: Q5718575
cites work: On the interpretation of intuitionistic number theory
cites work: Q5343325
cites work: Q5567860
cites work: Q5622402
cites work: Q3372925
cites work: Church's thesis without tears
cites work: Q4525542
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q4485693
DOI: 10.1016/J.APAL.2011.06.017
description: scientific article; zbMATH DE number 5987963