Liu, Min; Han, Shengwei; Stubbe, Isar Ideals and continuity for quantaloid-enriched categories. (English) Zbl 1518.18005 Theory Appl. Categ. 39, 687-713 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B35 18D20 06F07 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Neumann, Eike Uniform envelopes. (English) Zbl 07577572 Log. Methods Comput. Sci. 18, No. 3, Paper No. 8, 34 p. (2022). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: arXiv Link
Cagliari, Francesca; Clementino, Maria Manuel; Mantovani, Sandra Fibrewise injectivity in order and topology. (English) Zbl 1334.54047 Topology Appl. 200, 61-78 (2016). Reviewer: Esteban Induraín (Pamplona) MSC: 54C10 54B30 06B35 × Cite Format Result Cite Review PDF Full Text: DOI
Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo Combining type disciplines. (English) Zbl 0919.03028 Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 31-70 (1994). MSC: 03B70 68Q55 03F05 × Cite Format Result Cite Review PDF
Mulry, Philip S. Kan extensions in effective semantics. (English) Zbl 0651.18003 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 121-132 (1988). Reviewer: J.Weinstein MSC: 18A40 03G30 03D60 18A15 × Cite Format Result Cite Review PDF
Achinger, Jarosław Generalization of Scott’s formula for retractions from generalized Alexandroff’s cube. (English) Zbl 0659.54012 Stud. Log. 45, 281-292 (1986). MSC: 54C55 54A05 06D99 06B30 × Cite Format Result Cite Review PDF Full Text: DOI
Jankowski, Andrzej W. Some modifications of Scott’s theorem on injective spaces. (English) Zbl 0612.54017 Stud. Log. 45, 155-166 (1986). Reviewer: P.T.Johnstone MSC: 54C55 06D20 54B30 54A05 03G25 06B30 × Cite Format Result Cite Review PDF Full Text: DOI
Banaschewski, Bernhard On the topologies of injective spaces. (English) Zbl 0614.54033 Continuous lattices and their applications, Proc. 3rd Conf., Bremen/Ger. 1982, Lect. Notes Pure Appl. Math. 101, 1-8 (1985). Reviewer: J.D.Lawson MSC: 54H12 54B35 06B35 06D10 × Cite Format Result Cite Review PDF
Kanda, A. Numeration models of \(\lambda\)-calculus. (English) Zbl 0583.03009 Trees in algebra and programming, 9th Colloq., Bordeaux/France 1984, 155-168 (1984). MSC: 03B40 03D45 03C15 03C57 × Cite Format Result Cite Review PDF
Turner, Raymond Montague semantics, nominalization and Scott’s domains. (English) Zbl 0522.03016 Linguist. Philos. 6, 259-288 (1983). MSC: 03B65 03B40 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Johnstone, Peter; Joyal, Andre Continuous categories and exponentiable toposes. (English) Zbl 0487.18003 J. Pure Appl. Algebra 25, 255-296 (1982). MSC: 18B25 18F20 06A06 × Cite Format Result Cite Review PDF Full Text: DOI
Weck, Sibylle Scott convergence and Scott topology in partially ordered sets. I. (English) Zbl 0482.54022 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 372-383 (1981). MSC: 54F05 06B30 54H12 06A06 06B23 × Cite Format Result Cite Review PDF
Uesu, Tadahiro Intuitionistic theories and toposes. (English) Zbl 0478.03028 Logic symposia, Proc. Conf., Hakone/Jap. 1979 and 1980, Lect. Notes Math. 891, 323-358 (1981). MSC: 03G30 18C10 03F50 18B25 18D15 × Cite Format Result Cite Review PDF
Hoffmann, Rudolf-E. Projective sober spaces. (English) Zbl 0476.06004 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 125-158 (1981). MSC: 06A06 06B30 54D10 06B23 54C15 18A40 18G05 × Cite Format Result Cite Review PDF
Markowsky, George A motivation and generalization of Scott’s notion of a continuous lattice. (English) Zbl 0472.06008 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 298-307 (1981). MSC: 06A06 06B30 68Q65 × Cite Format Result Cite Review PDF
Johnstone, Peter T. Injective toposes. (English) Zbl 0469.18003 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 284-297 (1981). MSC: 18B25 18G05 × Cite Format Result Cite Review PDF
Johnstone, Peter T. Scott is not always sober. (English) Zbl 0469.06002 Continuous lattices, Proc. Conf., Bremen 1979, Lect. Notes Math. 871, 282-283 (1981). MSC: 06A06 06F30 54F05 × Cite Format Result Cite Review PDF
Banaschewski, B. The duality of distributive continuous lattices. (English) Zbl 0434.06011 Can. J. Math. 32, 385-394 (1980). MSC: 06B15 06D05 06E15 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, R.-E. Projective sober spaces. (English) Zbl 0486.54025 Math.-Arbeitspap., Teil A, Univ. Bremen 18, 109-153 (1979). MSC: 54F05 54B30 06B30 54H12 18B30 06A06 × Cite Format Result Cite Review PDF
Shabunin, L. V. Construction of a set of continuous functions isomorphic to the argument domain. (Russian) Zbl 0481.06003 Teor. Funkts. Kompleksn. Perem. Kraev. Zadachi 3, 44-50 (1979). MSC: 06A06 06B30 × Cite Format Result Cite Review PDF
Hyland, J. M. E. Continuity in spatial toposes. (English) Zbl 0429.18013 Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 442-465 (1979). MSC: 18F25 18F20 03F55 03G30 × Cite Format Result Cite Review PDF
Hoffmann, Rudolf-E. Topological spaces admitting a “dual”. (English) Zbl 0413.54001 Categorical topology, Proc. int. Conf., Berlin 1978, Lect. Notes Math. 719, 157-166 (1979). MSC: 54A05 × Cite Format Result Cite Review PDF
Belnap, Nuel D. jun. A useful four-valued logic. (English) Zbl 0424.03012 Mod. Uses of multiple-valued Logic, 5th int. Symp., Bloomington 1975, 5-37 (1977). MSC: 03B50 03D05 03B53 × Cite Format Result Cite Review PDF
Day, Alan Filter monads, continuous lattices and closure systems. (English) Zbl 0436.18003 Can. J. Math. 27, 50-59 (1975). MSC: 18C15 18A40 × Cite Format Result Cite Review PDF Full Text: DOI