A general insertion theorem for uniform locales

DOI10.1016/j.jpaa.2023.107320OpenAlexW4313641765WikidataQ122707417 ScholiaQ122707417MaRDI QIDQ2690452

Igor Arrieta, Ana Belén Avilez

Publication date: 17 March 2023

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2023.107320

zbMATH Keywords

localeframecoverseparation theoremextension theoreminsertion theorem

Mathematics Subject Classification ID

Frames, locales (06D22) Uniform structures and generalizations (54E15) Real-valued functions in general topology (54C30) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Insertion and extension results for pointfree complete regularity
• General insertion and extension theorems for localic real functions
• Remainders in pointfree topology
• Localic real functions: A general setting
• Completely normal frames and real-valued functions
• Nearness, subfitness and sequential regularity
• Uniform continuity of pointfree real functions via farness and related Galois connections
• (Sub)fit biframes and non-symmetric nearness.
• Some characterizations of normal and perfectly normal spaces
• Frames and Locales
• A general "in between theorem".
• In-Between Theorems In Uniform Spaces
• Boundedness Properties in Function-Lattices
• Sublocale lattices
• Frame presentations of compact hedgehogs and their properties

This page was built for publication: A general insertion theorem for uniform locales