References
- [1] Grzegorz Bancerek. Cardinal numbers., 1():377–382, 1990.
- [2] Grzegorz Bancerek. Complete lattices., 2():719–725, 1991.
- [3] Grzegorz Bancerek. The fundamental properties of natural numbers., 1():41–46, 1990.
- [4] Grzegorz Bancerek. The ordinal numbers., 1():91–96, 1990.
- [5] Grzegorz Bancerek. Directed sets, nets, ideals, filters, and maps., 6():93–107, 1997.
- [6] Grzegorz Bancerek. Prime ideals and filters., 6():241–247, 1997.
- [7] Grzegorz Bancerek. Bases and refinements of topologies., 7(): 35–43, 1998.
- [8] Grzegorz Bancerek, Noboru Endou, and Yuji Sakai. On the characterizations of compactness., 9():733–738, 2001.
- [9] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors,, volume 9150 of, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8 17.
- [10] Nicolas Bourbaki.. Springer Science and Business Media, 2013.
- [11] Nicolas Bourbaki.. Eléments de mathématique. Springer Science & Business Media, 2007.
- [12] Czesław Byliński. Functions and their basic properties., 1(): 55–65, 1990.
- [13] Czesław Byliński. Functions from a set to a set., 1():153–164, 1990.
- [14] Czesław Byliński. Partial functions., 1():357–367, 1990.
- [15] Czesław Byliński. Some basic properties of sets., 1():47–53, 1990.
- [16] Roland Coghetto. Convergent filter bases., 23():189–203, 2015. doi:10.1515/forma-2015-0016.
- [17] Agata Darmochwał. Finite sets., 1():165–167, 1990.
- [18] Adam Grabowski and Robert Milewski. Boolean posets, posets under inclusion and products of relational structures., 6():117–121, 1997.
- [19] Gang Liu, Yasushi Fuwa, and Masayoshi Eguchi. Formal topological spaces., 9():537–543, 2001.
- [20] Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto. Preliminaries to circuits, I., 5():167–172, 1996.
- [21] Beata Padlewska. Locally connected spaces., 2():93–96, 1991.
- [22] Beata Padlewska. Families of sets., 1():147–152, 1990.
- [23] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions., 1():223–230, 1990.
- [24] Alexander Yu. Shibakov and Andrzej Trybulec. The Cantor set., 5():233–236, 1996.
- [25] Andrzej Trybulec. On the sets inhabited by numbers., 11(): 341–347, 2003.
- [26] Andrzej Trybulec. Moore-Smith convergence., 6():213–225, 1997.
- [27] Michał J. Trybulec. Integers., 1():501–505, 1990.
- [28] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski – Zorn lemma., 1():387–393, 1990.
- [29] Zinaida Trybulec. Properties of subsets., 1():67–71, 1990.
- [30] Josef Urban. Basic facts about inaccessible and measurable cardinals., 9():323–329, 2001.
- [31] Claude Wagschal.. Hermann, 1995.
- [32] Edmund Woronowicz. Relations and their basic properties., 1 ():73–83, 1990.
- [33] Edmund Woronowicz. Relations defined on sets., 1():181–186, 1990.
- [34] Stanisław Żukowski. Introduction to lattice theory., 1():215–222, 1990.
Language: English
Page range: 289 - 296
Submitted on: Aug 14, 2015
Published on: Mar 25, 2016
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Keywords:
Related subjects:
© 2016 Roland Coghetto, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.