Topology from neighbourhoods

DOI10.1515/FORMA-2015-0023zbMath1334.54001OpenAlexW2316140067MaRDI QIDQ271891

Roland Coghetto

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0023

zbMATH Keywords

filtertopological spaceneighbourhoods system

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Mechanization of proofs and logical operations (03B35)

Uses Software

• Mizar

Cites Work

• Convergent filter bases
• Semantics of MML Query - Ordering
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topology from neighbourhoods