Double sequences and iterated limits in regular space

DOI10.1515/forma-2016-0014zbMath1357.54004OpenAlexW2587854143MaRDI QIDQ516742

Roland Coghetto

Publication date: 15 March 2017

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

Full work available at URL: https://doi.org/10.1515/forma-2016-0014

zbMATH Keywords

filterPringsheim convergenceregular spacedouble limitsiterated limits

Mathematics Subject Classification ID

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

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Summable family in a commutative group
• Double sequences and limits
• Convergent filter bases
• Semantics of MML Query - Ordering
• Mizar: State-of-the-art and Beyond

This page was built for publication: Double sequences and iterated limits in regular space