Convergent filter bases
type: Item
instance of: scholarly article
title: Convergent filter bases
zbMATH Open document ID: 1321.54006
author: Roland Coghetto
published in: Formalized Mathematics
publication date: 2015-10-07T00:00:00Z
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6490781
zbMATH Keywords: convergence
zbMATH Keywords: filter
zbMATH Keywords: filter base
zbMATH Keywords: Fréchet filter
zbMATH Keywords: limit
zbMATH Keywords: net
zbMATH Keywords: sequence
MaRDI profile type: Publication
full work available at URL: forma-2015-0016
OpenAlex ID: W2262332104
cites work: Semantics of MML query -- ordering
cites work: Q3994918
cites work: Q5768571
cites work: Q5203581
cites work: Topology. Exercises and solved problems
DOI: 10.1515/FORMA-2015-0016
description: scientific article; zbMATH DE number 6490781