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

Project supported by the Ministry of Economy and Competitiveness of Spain
Grant number MTM2012-37894-C02-02
From January 1, 2013 until December 31, 2016
Coordinated with the project entitled:
Topological methods in hyperspaces and contractive multifunctions. Quasi-metrics and quantitative domains

Coordinator: Salvador Romaguera (Universidad Politécnica de Valencia).

    Key words:
  • 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.