Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Compactness notions for an apartness space

From MaRDI portal
Publication:453202
Jump to:navigation, search

DOI10.1007/s00153-012-0279-6zbMath1294.03041OpenAlexW2137144571MaRDI QIDQ453202

Douglas S. Bridges

Publication date: 18 September 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0279-6


zbMATH Keywords

compactnessconstructive mathematicsconstructive topologyapartness spaces


Mathematics Subject Classification ID

Compactness (54D30) Constructive and recursive analysis (03F60) Nearness spaces (54E17) Proximity structures and generalizations (54E05)


Related Items (1)

Apartness spaces and uniform neighbourhood structures



Cites Work

  • Techniques of constructive analysis
  • Constructivism in mathematics. An introduction. Volume II
  • Apartness and Uniformity
  • Constructive set theory
  • Generalising compactness
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item


This page was built for publication: Compactness notions for an apartness space

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:453202&oldid=12329491"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 05:20.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki