Ong-metrizability

Concurrent Hyland-Ong games

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation o...

Resolvable Maps Preserve Complete Metrizability

Let X be a Polish space, Y a separable metrizable space, and f : X → Y a continuous surjection. We prove that if the image under f of every open set or every closed set is resolvable, then Y is Polish. This generalizes similar results by Sierpiński, Vainštain, and Ostrovsky.

Metrizability of Decomposition Spaces

Remarks on Metrizability

In connection with those paragraphs of my paper Applications of the theory of Boolean rings to general topology (Trans. Amer. Math. Soc. vol. 41 (1937) pp. 375-481) dealing with regular spaces, I have long been curious to know whether certain results proved there could be used to obtain the well known theorem that a separable (Hausdorff) space is metrizable if (and only if) it is regular. Since...

A note onG-preinvex functions

*Correspondence: [email protected] 1Department of Mathematics, Hanshan Normal University, Chaozhou, Guangdong 521041, China Full list of author information is available at the end of the article Abstract With the equivalent relationships between the G-generalized invexities and general invexities on the hand, we present two characterizations for G-preinvexity; we also discuss the relationships...