background image

Bibliography

[1] E. M. Alfsen and J. E. Fenstad. On the equivalence between proximity structures and totally

bounded uniform structures.

Mathematica Scandinavica

, 7:353–360, 1959.

[2] E. M. Alfsen and Olav Njåstad. Proximity and generalized uniformity.

Fund. Math.

, 52:235–

252, 1963.

[3] Roland Backhouse.

Galois Connections and Fixed Point Calculus

. 2001.

[4] Grzegorz Bancerek. Prime ideals and filters.

Formalized Mathematics

, 8(2), 1996.

[5] Garrett Birkhoff. Neutral elements in general lattices.

Bulletin of the American Mathematical

Society

, 46(8):702–705, 1940.

[6] Andreas Blass. Kleene degrees of ultrafilters. In Heinz-Dieter Ebbinghaus, Gert MÃŒller, and

Gerald Sacks, editors,

Recursion Theory Week

, volume 1141 of

Lecture Notes in Mathematics

,

pages 29–48. Springer Berlin / Heidelberg, 1985. 10.1007/BFb0076213.

[7] Andreas Blass. On the topics of ultrafilters and cardinal characteristics of the continuum,

2010.

[8] Andreas Blass (mathoverflow.net/users/6794). Direct product of filters. MathOverflow.

http://mathoverflow.net/questions/72638

(version: 2011-08-10).

[9] Francis Borceux and Maria-Cristina Pediccio. On primeness and maximality of filters.

Cahiers

de Topologie et Géométrie Différentielle Catégoriques

, 30(2):167–181, 1989.

[10] C. H. Dowker. Mappings of proximity structures.

General Topology and its Relations to

Modern Analysis and Algebra

, Proceedings of the symposium held in Prague in September

1961:139–141, 1961.

[11] V.A. Efremovich. The geometry of proximity i.

Mat. Sb. (N.S.)

, 31(73):189–200, 1952.

[12] M. Erne, J. Koslowski, A. Melton, and G. E. Strecker.

A primer on Galois connections

.

[13] Anatoly Gryzlov. On the rudin-keisler order on ultrafilters.

Topology and its Applications

,

76(2):151–155, 1997.

[14] Miroslav Hu˘

sek. Generalized proximity and uniform spaces. i.

Commentationes Mathematicae

Universitatis Carolinae

, 5(4):247–266, 1964.

[15] Miroslav Hu˘

sek. Generalized proximity and uniform spaces. ii.

Commentationes Mathemati-

cae Universitatis Carolinae

, 6(1):119–139, 1965.

[16] Ján Jakubík. Center of infinitely distributive lattices.

Matem. fyz. casopis

, 8:116–120, 1957.

[17] Ján Jakubík. Center of a complete lattice.

Czechoslovak Mathematical Journal

, 23(1):125–

138, 1973.

[18] Peter T. Johnstone.

Stone Spaces

. Cambridge University Press, 1982.

[19] Hans-Peter A. Kunzi. Quasi-uniform spaces, 2001.
[20] Hans-Peter A. Kunzi. Quasi-uniform spaces in the year 2001, 2001.
[21] Mrówka. On complete proximity spaces.

Doklady Akad. Nauk. SSSR

, N.S. 108:587–590, 1956.

[22] Mrówka. On the notion of completeness in proximity spaces.

Bull. Acad. Polon. Sci.

, III,

4:201–216, 1956.

[23] Hirokazu Nishimura. An approach to the dimension theory of continuous geometry from the

standpoint of boolean valued analysis.

Publications of the Research Institute for Mathematical

Sciences

, 20(5):1091–1101, 1984.

[24] Olav Njåstad. Some properties of proximity and generalized uniformilty.

Mathematica Scan-

dinavica

, 12:47–56, 1963.

[25] William J. Pervin. Quasi-uniformization of topological spaces.

Mathematische Annalen

,

147:316–317, 1962. 10.1007/BF01440953.

[26] PlanetMath. Criteria for a poset to be a complete lattice. At

http://planetmath.org/

encyclopedia/CriteriaForAPosetToBeACompleteLattice.html

.

[27] Victor

Porton.

Funcoids

and

reloids.

At

http://www.mathematics21.org/binaries/

funcoids-reloids.pdf

.

[28] Victor Porton. Pointfree funcoids. At

http://www.mathematics21.org/binaries/pointfree.

pdf

.

304