Ordered structures and topology: pointfree topology, many-valued and noncommutative topology, and numerical representations
 
Goals Tasks
Overall Description Contacts Financers Team Products
 
Publications:
Publications
GUTIÉRREZ GARCÍA, Javier, KUBIAK, Tomasz, PICADO, Jorge (2016). Perfectness in locales. DMUC 16-33 Preprint.
GUTIÉRREZ GARCÍA, Javier, MOZO CAROLLO, Imanol, PICADO, Jorge (2016). A unified view of the Dedekind completion of point-free function rings. Quaestiones Mathematicae. Vol. 39. 7, pp. 991-1003.
GUTIÉRREZ GARCÍA, Javier, MOZO CAROLLO, Imanol, PICADO, Jorge (2016). Normal semicontinuity and the Dedekind completion of pointfree function rings. Algebra Universalis. Vol. 75. 3, pp. 301-330.
GUTIÉRREZ GARCÍA, Javier, MOZO CAROLLO, Imanol, PICADO, Jorge (2016). Presenting the frame of the unit circle. Journal of Pure and Applied Algebra. Vol. 220. 3, pp. 976-1001.
GUTIÉRREZ GARCÍA, Javier, MOZO CAROLLO, Imanol, PICADO, Jorge, WALTERS-WAYLAND, Joanne (2019). Hedgehog frames and a cardinal extension of normality. Journal of Pure and Applied Algebra. Vol. 223. 6, pp. 2345-2370.
GUTIÉRREZ GARCÍA, Javier, MOZO CAROLLO, Imanol, PICADO, Jorge, WALTERS-WAYLAND, Joanne (2018). Hedgehog frames and a cardinal extension of normality. DMUC 18-05 Preprint.
MOSHIER, M. Andrew, MOZO CAROLLO, Imanol, WALTERS-WAYLAND, Joanne (2020). On Isbell's density theorem for bitopological pointfree spaces I. Topology and its Applications. Vol. 273. Article Number 106962, pp. 1-18.
MOSHIER, M. Andrew, PICADO, Jorge, PULTR, Ales (2021). Some general aspects of exactness and strong exactness of meets. DMUC 21-02 Preprint.
MOSHIER, M. Andrew, PICADO, Jorge, PULTR, Ales (2017). Generating sublocales by subsets and relations: a tangle of adjunctions. Algebra Universalis. Vol. 78. 1, pp. 105-118.
PICADO, Jorge, PULTR, Ales (2020). Continuity of localic maps. DMUC 20-04 Preprint.
Number of registers: 41<< previous 1,2,3,4,5 next >>
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support