Literatura

Ban

G. Bancerek. Development of the Theory of Continuous Lattices in Mizar. In M. Kerber and M. Kohlhase, editors, Symbolic Computation and Automated Reasoning, pages 65-80, The CALCULEMUS-2000 Symposium, A.K.Peters, Natick, Massachusetts.

B&F

G. Birkhoff, O. Frink. Representation of lattices by sets. Transactions of the American Mathematical Society, 64:299-316, 1948.

CCL

G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, Berlin, Heidelberg, New York, 1980.

Fr

O. Frink. Topology in lattices. Transactions of the American Mathematical Society, 51:569-582, 1942.

W0

WAYBEL_0: Grzegorz Bancerek. Directed sets, nets, ideals, filters, and maps. Formalized Mathematics, 6(1): 93-107, 1997.

W2

WAYBEL_2: Artur Korniowicz. Meet-continuous lattices. Formalized Mathematics, 6(1): 159-167, 1997.

W7

WAYBEL_7: Grzegorz Bancerek. Prime ideals and filters. Formalized Mathematics, 6(2): 241-247, 1997.

W11

WAYBEL11: Andrzej Trybulec. Scott topology. Formalized Mathematics, 6(2): 311-319, 1997.

W14

WAYBEL14: Czesaw Bylinski, Piotr Rudnicki. The Scott topology, part II. Formalized Mathematics, 6(3): 441-446, 1997.

W19

WAYBEL19: Grzegorz Bancerek. The Lawson topology. Formalized Mathematics, 7(2): 163-168, 1997.

W27

WAYBEL27: Grzegorz Bancerek, Adam Naumowicz. Function spaces in the category of directed suprema preserving maps. Formalized Mathematics, 9(1): 171-177, 2001.

W28

WAYBEL28: Bartomiej Skorulski. Lim-inf convergence. Formalized Mathematics, 9(2): 237-240, 2001.

W32

WAYBEL32: Ewa Grdzka. On the order-consistent topology of complete and incomplete lattices. Formalized Mathematics, 9(2): 377-382, 2001.

W33

WAYBEL33: Grzegorz Bancerek, Noboru Endou. Compactness of lim-inf topology. Formalized Mathematics, to appear.

Y1

YELLOW_1: Adam Grabowski, Robert Milewski. Boolean posets, posets under inclusion and products of relational structures. Formalized Mathematics, 6(1): 117-121, 1997.

Y6

YELLOW_6: Andrzej Trybulec. Moore-Smith convergence. Formalized Mathematics, 6(2): 213-225, 1997.

Y19

YELLOW19: Grzegorz Bancerek, Noboru Endou, Yuji Sakai. On characterizations of compactness. Formalized Mathematics, to appear.