Ordered structures and topology: numerical representations, asymmetric topology, lattice-valued functions, pointfree topology

Goals Tasks Overall Description Contacts Financers Team Products   Description Achieved Topological spaces, preordered topological spaces, ordered rings, f-rings; Real-valued functions, insertion of functions, rings of functions, ordered rings, f-rings; Many valued topology, fuzzy quasi-metric, fuzzy uniformity; Pointfree topology, frames, locales, biframes; Lattice-valued frames, uniform and quasi-uniform frames, proximities, strong inclusions.