Convergent filter bases

DOI10.1515/FORMA-2015-0016zbMath1321.54006OpenAlexW2262332104MaRDI QIDQ500022

Roland Coghetto

Publication date: 7 October 2015

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

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

zbMATH Keywords

convergencefilterlimitnetsequencefilter baseFréchet filter

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Related Items (4)

Summable family in a commutative group ⋮ Topology from neighbourhoods ⋮ Double sequences and iterated limits in regular space ⋮ Quasi-uniform space

Cites Work

• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Convergent filter bases