-
1
-
-
0001847686
-
Domain theory
-
T.S.E. Maibaum, S. Abramsky, D. M. Gabbay (eds.), Clarendon Press, Oxford
-
S. Abramsky and A. Jung, Domain theory, in: Handbook of Logic in Computer Science, Vol. III, T.S.E. Maibaum, S. Abramsky, D. M. Gabbay (eds.), Clarendon Press, Oxford, 1994, pp. 1-168.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 1-168
-
-
Abramsky, S.1
Jung, A.2
-
2
-
-
15944379391
-
Insertion and extension of hedgehog-valued functions
-
R.L. Blair and M.A. Swardson, Insertion and extension of hedgehog-valued functions, Indian J. Math. 29 (1987) 229-250.
-
(1987)
Indian J. Math.
, vol.29
, pp. 229-250
-
-
Blair, R.L.1
Swardson, M.A.2
-
3
-
-
33644585409
-
Indefinite cut sets for real functions
-
F. Brooks, Indefinite cut sets for real functions, Amer. Math. Monthly 78 (1971) 1007-1010.
-
(1971)
Amer. Math. Monthly
, vol.78
, pp. 1007-1010
-
-
Brooks, F.1
-
5
-
-
0008385474
-
The ABC of order and topology
-
H. Herrlich, H.-E. Porst (eds.), Heldermann Verlag, Berlin
-
M. Erné, The ABC of order and topology, in: Category Theory at Work, H. Herrlich, H.-E. Porst (eds.), Heldermann Verlag, Berlin, 1991, pp. 57-83.
-
(1991)
Category Theory at Work
, pp. 57-83
-
-
Erné, M.1
-
7
-
-
0004011095
-
-
Springer Verlag, Berlin, Heidelberg, New York
-
G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove and D.S. Scott, Compendium of Continuous Lattices, Springer Verlag, Berlin, Heidelberg, New York, 1980.
-
(1980)
Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
8
-
-
0038141124
-
-
Cambridge University Press, Cambridge
-
G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove and D.S. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
-
(2003)
Continuous Lattices and Domains
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
9
-
-
15944373576
-
Monotone insertion of continuous functions
-
C. Good and I. Stares, Monotone insertion of continuous functions, Topology Appl. 108 (2000) 91-104.
-
(2000)
Topology Appl.
, vol.108
, pp. 91-104
-
-
Good, C.1
Stares, I.2
-
10
-
-
33644584631
-
Lower semicontinuous functions with values in a continuous lattice
-
F. van Gool, Lower semicontinuous functions with values in a continuous lattice, Comment. Math. Univ. Carolinae 33 (1992) 505-523.
-
(1992)
Comment. Math. Univ. Carolinae
, vol.33
, pp. 505-523
-
-
Van Gool, F.1
-
13
-
-
33947233877
-
On the algebraic representation of semicontinuity
-
J. Gutiérrez García and J. Picado, On the algebraic representation of semicontinuity, J. Pure Appl. Algebra 210 (2007) 299-306.
-
(2007)
J. Pure Appl. Algebra
, vol.210
, pp. 299-306
-
-
Gutiérrez García, J.1
Picado, J.2
-
14
-
-
35548990229
-
Many-valued topologies and lower semicontinuity
-
U. Höhle and T. Kubiak, Many-valued topologies and lower semicontinuity, Semigroup Forum 75 (2007) 1-17.
-
(2007)
Semigroup Forum
, vol.75
, pp. 1-17
-
-
Höhle, U.1
Kubiak, T.2
-
15
-
-
0007413128
-
Extensions of functions on product spaces
-
T. Hoshina and K. Yamazaki, Extensions of functions on product spaces, Topology Appl. 82 (1998), 195-204.
-
(1998)
Topology Appl.
, vol.82
, pp. 195-204
-
-
Hoshina, T.1
Yamazaki, K.2
-
17
-
-
0005515720
-
On real-valued functions in topological spaces
-
Correction: Fund. Math. 40 (1953), 203-205
-
M. Katětov, On real-valued functions in topological spaces, Fund. Math. 38 (1951) 85-91; Correction: Fund. Math. 40 (1953), 203-205.
-
(1951)
Fund. Math.
, vol.38
, pp. 85-91
-
-
Katětov, M.1
-
18
-
-
0012251422
-
Separation axioms: Extension of mappings and embedding of spaces
-
The Handbooks of Fuzzy Sets series, U. Höhle, S.E. Rodabaugh (eds.), Kluwer Academic Publ., Dordrecht
-
T. Kubiak, Separation axioms: extension of mappings and embedding of spaces, in: Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, The Handbooks of Fuzzy Sets series, Vol. 3, U. Höhle, S.E. Rodabaugh (eds.), Kluwer Academic Publ., Dordrecht, 1999, pp. 433-479.
-
(1999)
Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory
, vol.3
, pp. 433-479
-
-
Kubiak, T.1
-
19
-
-
2442641883
-
An insertion theorem for I(L)-valued functions and its consequences
-
T. Kubiak and I. Mardones Pérez, An insertion theorem for I(L)-valued functions and its consequences, Fuzzy Sets Syst. 144 (2004) 383-394.
-
(2004)
Fuzzy Sets Syst.
, vol.144
, pp. 383-394
-
-
Kubiak, T.1
Mardones Pérez, I.2
-
20
-
-
2442694233
-
Hereditary normality plus extremal disconnectedness and insertion of a continuous function
-
T. Kubiak and M.A. de Prada Vicente, Hereditary normality plus extremal disconnectedness and insertion of a continuous function, Math. Japonica 46 (1997) 1-3.
-
(1997)
Math. Japonica
, vol.46
, pp. 1-3
-
-
Kubiak, T.1
De Prada-Vicente, M.A.2
-
21
-
-
3943078143
-
Foundations of functional analysis
-
Kluwer Academic Publ., Dordrecht
-
S.S. Kutateladze, Foundations of Functional Analysis, Kluwer Texts Math. Sci., vol. 12, Kluwer Academic Publ., Dordrecht, 1996.
-
(1996)
Kluwer Texts Math. Sci.
, vol.12
-
-
Kutateladze, S.S.1
-
22
-
-
0007285030
-
A sufficient condition for the insertion of a continuous function
-
E.P. Lane, A sufficient condition for the insertion of a continuous function, Proc. Amer. Math. Soc. 49 (1975) 90-94.
-
(1975)
Proc. Amer. Math. Soc.
, vol.49
, pp. 90-94
-
-
Lane, E.P.1
-
23
-
-
21644443652
-
Insertion of a continuous function
-
E.P. Lane, Insertion of a continuous function, Top. Proc. 4 (1979) 463-478.
-
(1979)
Top. Proc.
, vol.4
, pp. 463-478
-
-
Lane, E.P.1
-
25
-
-
0344029910
-
Lattice-valued hahn-dieudonné-tong insertion theorem and stratification structure
-
Y.M. Liu and M.-K. Luo, Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure, Topology Appl. 45 (1992) 173-188.
-
(1992)
Topology Appl.
, vol.45
, pp. 173-188
-
-
Liu, Y.M.1
Luo, M.-K.2
-
26
-
-
0038555985
-
-
PhD thesis, Department of Mathematics, Tulane University
-
K. Martin, A Foundation for Computation, PhD thesis, Department of Mathematics, Tulane University, 2000.
-
(2000)
A Foundation for Computation
-
-
Martin, K.1
-
27
-
-
33748416167
-
A new look at localic interpolation theorems
-
J. Picado, A new look at localic interpolation theorems, Topology Appl. 16 (2006) 3203-3218.
-
(2006)
Topology Appl.
, vol.16
, pp. 3203-3218
-
-
Picado, J.1
-
30
-
-
0004143351
-
-
Dover Publications, Inc., New York
-
L.A. Steen and J.A. Seebach, Jr., Counterexamples in Topology, Dover Publications, Inc., New York, 1995.
-
(1995)
Counterexamples in Topology
-
-
Steen, L.A.1
Seebach, J.A.2
-
31
-
-
0000810425
-
Boundedness properties in function-lattices
-
M.H. Stone, Boundedness properties in function-lattices, Canad. J. Math. 1 (1949) 176-186.
-
(1949)
Canad. J. Math.
, vol.1
, pp. 176-186
-
-
Stone, M.H.1
-
32
-
-
84972507756
-
Some characterizations of normal and perfectly normal spaces
-
H. Tong, Some characterizations of normal and perfectly normal spaces, Duke Math. J. 19 (1952) 289-292.
-
(1952)
Duke Math. J.
, vol.19
, pp. 289-292
-
-
Tong, H.1
-
33
-
-
0038257696
-
∗-embedding and its applications
-
∗-embedding and its applications. Topology Appl. 108 (2000) 137-156.
-
(2000)
Topology Appl.
, vol.108
, pp. 137-156
-
-
Yamazaki, K.1
-
34
-
-
0344118027
-
Dieudonné-hahn-tong theorem for complete chains
-
Z. Yang, Dieudonné-Hahn-Tong theorem for complete chains, Houston J. Math. 29 (2003) 949-960.
-
(2003)
Houston J. Math.
, vol.29
, pp. 949-960
-
-
Yang, Z.1
-
36
-
-
0008068111
-
Metrizable completely distributive lattices
-
D. Zhang, Metrizable completely distributive lattices, Comment. Math. Univ. Carolinae 38 (1997) 137-148.
-
(1997)
Comment. Math. Univ. Carolinae
, vol.38
, pp. 137-148
-
-
Zhang, D.1
|