Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. |
|
2003
|
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. |
|
1980
|
Groupes et anneaux reticules. Zbl 0384.06022
Bigard, Alain; Keimel, Klaus; Wolfenstein, Samuel |
|
1977
|
Ordered cones and approximation. Zbl 0752.41033
Keimel, Klaus; Roth, Walter |
|
1992
|
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D. |
|
2009
|
Quasicontinuous domains and the Smyth powerdomain. Zbl 1334.68127
Heckmann, Reinhold; Keimel, Klaus |
|
2013
|
The representation of lattice-ordered groups and rings by sections in sheaves. Zbl 0231.06023
Keimel, Klaus |
|
1971
|
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. |
|
2009
|
A unified theory of minimal prime ideals. Zbl 0265.06016
Keimel, K. |
|
1972
|
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. |
|
2005
|
Stone duality for varieties generated by quasi-primal algebras. Zbl 0283.08001
Keimel, Klaus; Werner, Heinrich |
|
1974
|
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D. |
|
2017
|
Eine Exponentialfunktion für kompakte abelsche Halbgruppen. Zbl 0146.03203
Keimel, K. |
|
1967
|
The way-below relation of function spaces over semantic domains. Zbl 0922.06009
Erker, Thomas; Hötzel Escardó, Martín; Keimel, Klaus |
|
1998
|
The probabilistic powerdomain for stably compact spaces. Zbl 1071.68058
Alvarez-Manilla, Mauricio; Jung, Achim; Keimel, Klaus |
|
2004
|
A general character theory for partially ordered sets and lattices. Zbl 0243.18005
Hofmann, Karl Heinrich; Keimel, Klaus |
|
1972
|
Topological cones: functional analysis in a \(T_{0}\)-setting. Zbl 1151.22006
Keimel, Klaus |
|
2008
|
Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume. Zbl 0163.02304
Keimel, K. |
|
1967
|
A direct proof of the Hofmann-Mislove theorem. Zbl 0789.54030
Keimel, Klaus; Paseka, Jan |
|
1994
|
Measure extension theorems for \(T_{0}\)-spaces. Zbl 1152.06301
Keimel, Klaus; Lawson, Jimmie D. |
|
2005
|
Compact continuous \(L\)-domains. Zbl 0941.68080
Liang, Jihua; Keimel, K. |
|
1999
|
Sur les endomorphismes conservant les polaires d’un groupe réticulé archimédien. Zbl 0215.34203
Bigard, A.; Keimel, K. |
|
1969
|
A Korovkin type approximation theorem for set-valued functions. Zbl 0693.47032
Keimel, Klaus; Roth, Walter |
|
1988
|
The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras. Zbl 1161.46045
Keimel, Klaus |
|
2008
|
Positive derivations on f-rings. Zbl 0376.06021
Colville, P.; Davis, G.; Keimel, K. |
|
1977
|
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011
Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter |
|
2013
|
Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen. Zbl 0181.02401
Keimel, Klaus |
|
1970
|
Order environments of topological spaces. Zbl 1072.54021
Liang, J. H.; Keimel, K. |
|
2004
|
Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules. Zbl 0433.46061
Hofmann, Karl Heinrich; Keimel, Klaus |
|
1979
|
Locally convex cones and the Schröder-Simpson theorem. Zbl 1274.46005
Keimel, Klaus |
|
2012
|
A lemma on primes appearing in algebra and analysis. Zbl 0359.06015
Gierz, Gerhard; Keimel, Klaus |
|
1977
|
Algèbres commutatives engendrèes par leurs éléments idempotents. Zbl 0203.34702
Keimel, Klaus |
|
1970
|
Baer extensions of rings and Stone extensions of semigroups. Zbl 0225.20041
Keimel, Klaus |
|
1971
|
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D. |
|
2009
|
Projective topology on bifinite domains and applications. Zbl 1118.68093
Abbes, Samy; Keimel, Klaus |
|
2006
|
The Cuntz semigroup and domain theory. Zbl 1391.46066
Keimel, Klaus |
|
2017
|
A cross section theorem for certain compact abelian semigroups. Zbl 0211.33803
Keimel, K. |
|
1970
|
Congruence relations of cone semigroups. Zbl 0231.22002
Keimel, Klaus |
|
1971
|
Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces. Zbl 1276.54041
Keimel, K. |
|
2009
|
The extended probabilistic powerdomain monad over stably compact spaces. (Extended abstract). Zbl 1178.68328
Cohen, Ben; Escardo, Martin; Keimel, Klaus |
|
2006
|
Kakutani property of the polytopes implies Kakutani property of the whole space. Zbl 0646.54044
Keimel, Klaus; Wieczorek, Andrzej |
|
1988
|
Some trends in lattice-ordered groups and rings. Zbl 0838.06015
Keimel, Klaus |
|
1995
|
Continuous ideal completions and compactifications. Zbl 0464.06004
Gierz, Gerhard; Keimel, Klaus |
|
1981
|
Extending algebraic operations to D-completions. Zbl 1279.06005
Keimel, Klaus; Lawson, Jimmie D. |
|
2012
|
Continuous and completely distributive lattices. Zbl 1346.06005
Keimel, Klaus; Lawson, Jimmie |
|
2014
|
The semilattices with distinguished endomorphisms which are equationally compact. Zbl 0425.08002
Bulman-Fleming, Sydney; Fleischer, Isidore; Keimel, Klaus |
|
1979
|
Représentation d’anneaux reticules dans des faisceaux. Zbl 0155.07604
Keimel, K. |
|
1968
|
Représentation de groupes et d’anneaux reticules par des sections dans des faisceaux. Zbl 0249.06002
Keimel, Klaus |
|
1970
|
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Zbl 1226.68040
Keimel, K.; Rosenbusch, A.; Streicher, T. |
|
2011
|
Bicontinuous domains and some old problems in domain theory. Zbl 1344.06006
Keimel, Klaus |
|
2009
|
Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism. Zbl 1273.68208
Keimel, Klaus |
|
2006
|
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Zbl 1167.68034
Keimel, K.; Rosenbusch, A.; Streicher, T. |
|
2009
|
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007
Goubault-Larrecq, Jean; Keimel, Klaus |
|
2011
|
Linear types and approximation. Zbl 0982.06007
Huth, Michael; Jung, Achim; Keimel, Klaus |
|
2000
|
Observationally-induced algebras in domain theory. Zbl 1342.68192
Battenfeld, Ingo; Keimel, Klaus; Streicher, Thomas |
|
2014
|
Weak topologies and compactness in asymmetric functional analysis. Zbl 1323.46049
Keimel, Klaus |
|
2015
|
Anneaux reticules quasi-réguliers et hyperarchimediens. Zbl 0155.07701
Keimel, K. |
|
1968
|
Verfeinerungs- und Kürzungssätze für Produkte geordneter topologischer Räume und für Funktionen (-Halb-) Verbände. Zbl 0462.06001
Bauer, Heiko; Keimel, Klaus; Köhler, Roland |
|
1981
|
Healthiness conditions for predicate transformers. Zbl 1351.68076
Keimel, Klaus |
|
2015
|
Structure spaces and the center of vector lattices. Zbl 0393.46009
Flösser, H. O.; Gierz, G.; Keimel, K. |
|
1978
|
The probabilistic powerdomain for stably compact spaces via compact ordered spaces. Zbl 1270.68153
Keimel, Klaus |
|
2004
|
Le centroide et le bicentroide de certains anneaux reticules. Zbl 0176.31503
Keimel, K. |
|
1968
|
Demi-groupes partiellement ordonnes de deuxième et troisieme espece. Zbl 0155.04301
Keimel, K. |
|
1968
|
Topologische Darstellung von Verbänden. Zbl 0319.06004
Gierz, Gerhard; Keimel, Klaus |
|
1976
|
Stone Dualität für primitive Klassen, die von quasi-primalen Algebren erzeugt werden. Zbl 0337.08005
Keimel, Klaus; Werner, Heinrich |
|
1976
|
Radicals in lattice-ordered rings. Zbl 0277.06008
Keimel, K. |
|
1973
|
Representations of lattice-ordered rings. Zbl 0301.06011
Keimel, Klaus |
|
1973
|
Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002
Keimel, Klaus; Plotkin, Gordon D. |
|
2017
|
The Cuntz semigroup and domain theory. Zbl 1391.46066
Keimel, Klaus |
|
2017
|
Weak topologies and compactness in asymmetric functional analysis. Zbl 1323.46049
Keimel, Klaus |
|
2015
|
Healthiness conditions for predicate transformers. Zbl 1351.68076
Keimel, Klaus |
|
2015
|
Continuous and completely distributive lattices. Zbl 1346.06005
Keimel, Klaus; Lawson, Jimmie |
|
2014
|
Observationally-induced algebras in domain theory. Zbl 1342.68192
Battenfeld, Ingo; Keimel, Klaus; Streicher, Thomas |
|
2014
|
Quasicontinuous domains and the Smyth powerdomain. Zbl 1334.68127
Heckmann, Reinhold; Keimel, Klaus |
|
2013
|
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011
Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter |
|
2013
|
Locally convex cones and the Schröder-Simpson theorem. Zbl 1274.46005
Keimel, Klaus |
|
2012
|
Extending algebraic operations to D-completions. Zbl 1279.06005
Keimel, Klaus; Lawson, Jimmie D. |
|
2012
|
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Zbl 1226.68040
Keimel, K.; Rosenbusch, A.; Streicher, T. |
|
2011
|
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007
Goubault-Larrecq, Jean; Keimel, Klaus |
|
2011
|
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D. |
|
2009
|
Semantic domains for combining probability and non-determinism. Zbl 1271.68005
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. |
|
2009
|
Predicate transformers for extended probability and non-determinism. Zbl 1175.68253
Keimel, Klaus; Plotkin, Gordon D. |
|
2009
|
Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces. Zbl 1276.54041
Keimel, K. |
|
2009
|
Bicontinuous domains and some old problems in domain theory. Zbl 1344.06006
Keimel, Klaus |
|
2009
|
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Zbl 1167.68034
Keimel, K.; Rosenbusch, A.; Streicher, T. |
|
2009
|
Topological cones: functional analysis in a \(T_{0}\)-setting. Zbl 1151.22006
Keimel, Klaus |
|
2008
|
The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras. Zbl 1161.46045
Keimel, Klaus |
|
2008
|
Projective topology on bifinite domains and applications. Zbl 1118.68093
Abbes, Samy; Keimel, Klaus |
|
2006
|
The extended probabilistic powerdomain monad over stably compact spaces. (Extended abstract). Zbl 1178.68328
Cohen, Ben; Escardo, Martin; Keimel, Klaus |
|
2006
|
Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism. Zbl 1273.68208
Keimel, Klaus |
|
2006
|
Retracted: Semantic domains for combining probability and non-determinism. Zbl 1271.68004
Tix, Regina; Keimel, Klaus; Plotkin, Gordon D. |
|
2005
|
Measure extension theorems for \(T_{0}\)-spaces. Zbl 1152.06301
Keimel, Klaus; Lawson, Jimmie D. |
|
2005
|
The probabilistic powerdomain for stably compact spaces. Zbl 1071.68058
Alvarez-Manilla, Mauricio; Jung, Achim; Keimel, Klaus |
|
2004
|
Order environments of topological spaces. Zbl 1072.54021
Liang, J. H.; Keimel, K. |
|
2004
|
The probabilistic powerdomain for stably compact spaces via compact ordered spaces. Zbl 1270.68153
Keimel, Klaus |
|
2004
|
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. |
|
2003
|
Linear types and approximation. Zbl 0982.06007
Huth, Michael; Jung, Achim; Keimel, Klaus |
|
2000
|
Compact continuous \(L\)-domains. Zbl 0941.68080
Liang, Jihua; Keimel, K. |
|
1999
|
The way-below relation of function spaces over semantic domains. Zbl 0922.06009
Erker, Thomas; Hötzel Escardó, Martín; Keimel, Klaus |
|
1998
|
Some trends in lattice-ordered groups and rings. Zbl 0838.06015
Keimel, Klaus |
|
1995
|
A direct proof of the Hofmann-Mislove theorem. Zbl 0789.54030
Keimel, Klaus; Paseka, Jan |
|
1994
|
Ordered cones and approximation. Zbl 0752.41033
Keimel, Klaus; Roth, Walter |
|
1992
|
A Korovkin type approximation theorem for set-valued functions. Zbl 0693.47032
Keimel, Klaus; Roth, Walter |
|
1988
|
Kakutani property of the polytopes implies Kakutani property of the whole space. Zbl 0646.54044
Keimel, Klaus; Wieczorek, Andrzej |
|
1988
|
Continuous ideal completions and compactifications. Zbl 0464.06004
Gierz, Gerhard; Keimel, Klaus |
|
1981
|
Verfeinerungs- und Kürzungssätze für Produkte geordneter topologischer Räume und für Funktionen (-Halb-) Verbände. Zbl 0462.06001
Bauer, Heiko; Keimel, Klaus; Köhler, Roland |
|
1981
|
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. |
|
1980
|
Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules. Zbl 0433.46061
Hofmann, Karl Heinrich; Keimel, Klaus |
|
1979
|
The semilattices with distinguished endomorphisms which are equationally compact. Zbl 0425.08002
Bulman-Fleming, Sydney; Fleischer, Isidore; Keimel, Klaus |
|
1979
|
Structure spaces and the center of vector lattices. Zbl 0393.46009
Flösser, H. O.; Gierz, G.; Keimel, K. |
|
1978
|
Groupes et anneaux reticules. Zbl 0384.06022
Bigard, Alain; Keimel, Klaus; Wolfenstein, Samuel |
|
1977
|
Positive derivations on f-rings. Zbl 0376.06021
Colville, P.; Davis, G.; Keimel, K. |
|
1977
|
A lemma on primes appearing in algebra and analysis. Zbl 0359.06015
Gierz, Gerhard; Keimel, Klaus |
|
1977
|
Topologische Darstellung von Verbänden. Zbl 0319.06004
Gierz, Gerhard; Keimel, Klaus |
|
1976
|
Stone Dualität für primitive Klassen, die von quasi-primalen Algebren erzeugt werden. Zbl 0337.08005
Keimel, Klaus; Werner, Heinrich |
|
1976
|
Stone duality for varieties generated by quasi-primal algebras. Zbl 0283.08001
Keimel, Klaus; Werner, Heinrich |
|
1974
|
Radicals in lattice-ordered rings. Zbl 0277.06008
Keimel, K. |
|
1973
|
Representations of lattice-ordered rings. Zbl 0301.06011
Keimel, Klaus |
|
1973
|
A unified theory of minimal prime ideals. Zbl 0265.06016
Keimel, K. |
|
1972
|
A general character theory for partially ordered sets and lattices. Zbl 0243.18005
Hofmann, Karl Heinrich; Keimel, Klaus |
|
1972
|
The representation of lattice-ordered groups and rings by sections in sheaves. Zbl 0231.06023
Keimel, Klaus |
|
1971
|
Baer extensions of rings and Stone extensions of semigroups. Zbl 0225.20041
Keimel, Klaus |
|
1971
|
Congruence relations of cone semigroups. Zbl 0231.22002
Keimel, Klaus |
|
1971
|
Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen. Zbl 0181.02401
Keimel, Klaus |
|
1970
|
Algèbres commutatives engendrèes par leurs éléments idempotents. Zbl 0203.34702
Keimel, Klaus |
|
1970
|
A cross section theorem for certain compact abelian semigroups. Zbl 0211.33803
Keimel, K. |
|
1970
|
Représentation de groupes et d’anneaux reticules par des sections dans des faisceaux. Zbl 0249.06002
Keimel, Klaus |
|
1970
|
Sur les endomorphismes conservant les polaires d’un groupe réticulé archimédien. Zbl 0215.34203
Bigard, A.; Keimel, K. |
|
1969
|
Représentation d’anneaux reticules dans des faisceaux. Zbl 0155.07604
Keimel, K. |
|
1968
|
Anneaux reticules quasi-réguliers et hyperarchimediens. Zbl 0155.07701
Keimel, K. |
|
1968
|
Le centroide et le bicentroide de certains anneaux reticules. Zbl 0176.31503
Keimel, K. |
|
1968
|
Demi-groupes partiellement ordonnes de deuxième et troisieme espece. Zbl 0155.04301
Keimel, K. |
|
1968
|
Eine Exponentialfunktion für kompakte abelsche Halbgruppen. Zbl 0146.03203
Keimel, K. |
|
1967
|
Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume. Zbl 0163.02304
Keimel, K. |
|
1967
|