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:353360, 1959.

[2]

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

Fund. Math.

, 52:235252, 1963.

[3]

Roland Backhouse.

Galois Connections and Fixed Point Calculus

. 2001.

[4]

Grzegorz Bancerek. Prime ideals and lters.

Formalized Mathematics

, 8(2), 1996.

[5]

Garrett Birkhoff. Neutral elements in general lattices.

Bulletin of the American Mathematical Society

,

46(8):702705, 1940.

[6]

Andreas Blass. Kleene degrees of ultralters. In Heinz-Dieter Ebbinghaus, Gert Müller, and Gerald Sacks,
editors,

Recursion Theory Week

, volume 1141 of

Lecture Notes in Mathematics

, pages 2948. Springer Berlin

/ Heidelberg, 1985. 10.1007/BFb0076213.

[7]

Andreas Blass. On the topics of ultralters and cardinal characteristics of the continuum, 2010.

[8]

Andreas Blass (mathoverow.net/users/6794). Direct product of lters. MathOverow.

http://

mathoverflow.net/questions/72638

(version: 2011-08-10).

[9]

Francis Borceux and Maria-Cristina Pediccio. On primeness and maximality of lters.

Cahiers de Topologie

et Géométrie Diérentielle Catégoriques

, 30(2):167181, 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:139141, 1961.

[11]

V.A. Efremovich. The geometry of proximity i.

Mat. Sb. (N.S.)

, 31(73):189200, 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 ultralters.

Topology and its Applications

, 76(2):151155, 1997.

[14]

Miroslav Hus

ek. Generalized proximity and uniform spaces. i.

Commentationes Mathematicae Universitatis

Carolinae

, 5(4):247266, 1964.

[15]

Miroslav Hus

ek. Generalized proximity and uniform spaces. ii.

Commentationes Mathematicae Universitatis

Carolinae

, 6(1):119139, 1965.

[16]

Ján Jakubík. Center of innitely distributive lattices.

Matem. fyz. casopis

, 8:116120, 1957.

[17]

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

Czechoslovak Mathematical Journal

, 23(1):125138, 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:587590, 1956.

[22]

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

Bull. Acad. Polon. Sci.

, III, 4:201216, 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):10911101,

1984.

[24]

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

Mathematica Scandinavica

, 12:47

56, 1963.

[25]

William J. Pervin. Quasi-uniformization of topological spaces.

Mathematische Annalen

, 147:316317, 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

.

[29]

Victor Porton. Filters on posets and generalizations.

International Journal of Pure and Applied Mathematics

,

74(1):55119, 2012.

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

.

[30]

Mark Sapir (mathoverow.net/users/6976). An ultralter and a partition. MathOverow.

http://

mathoverflow.net/questions/44055

(version: 2010-10-29).

[31]

Yu. M. Smirnov. On proximity spaces.

Mat. Sb. (N.S.)

, 31(73):543574, 1952.

[32]

Yu. M. Smirnov. On completeness of proximity spaces.

Doklady Acad. Nauk SSSR

, 88:761764, 1953.

[33]

Yu. M. Smirnov. On completeness of uniform spaces and proximity spaces.

Doklady Acad. Nauk SSSR

,

91:12811284, 1953.

[34]

Yu. M. Smirnov. On completeness of proximity spaces i.

Trudy Moscov. Mat. Obsc.

, 3:271306, 1954.

[35]

Yu. M. Smirnov. On completeness of proximity spaces ii.

Trudy Moscov. Mat. Obsc.

, 4:421438, 1955.

[36]

R. M. Solovay. Maps preserving measures. At

http://math.berkeley.edu/~solovay/Preprints/

Rudin_Keisler.pdf

, 2011.

[37]

Comfort W. W. and Negrepontis S.

The theory of ultralters

. Springer-Verlag, 1974.

[38]

Eric W. Weisstein. Point-set topology. At

http://mathworld.wolfram.com/Point-SetTopology.html

from

MathWorldA Wolfram Web Resource.

255