Convergent filter bases

DOI10.1515/FORMA-2015-0016zbMATH Open1321.54006OpenAlexW2262332104MaRDI QIDQ500022FDOQ500022

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3141390
• scientific article; zbMATH DE number 996914
• scientific article; zbMATH DE number 1989632
• scientific article; zbMATH DE number 3028341
• Matroid's filterbase

zbMATH Keywords

convergencefilterfilter baselimitsequencenetFréchet filter

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Topology. Exercises and solved problems
• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Summable family in a commutative group
• Topology from neighbourhoods
• Title not available (Why is that?)
• Convergence behavior and root signal sets of stack filters
• Title not available (Why is that?)
• Double sequences and iterated limits in regular space
• Quasi-uniform space

This page was built for publication: Convergent filter bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500022)