Constructive strong regularity and the extension property of a compactification

DOI10.1016/J.APAL.2022.103154arXiv2105.07457MaRDI QIDQ6367763

Giovanni Curi

Publication date: 16 May 2021

Mathematics Subject Classification ID

Frames, locales (06D22) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25) Inductive definability (03D70)

This page was built for publication: Constructive strong regularity and the extension property of a compactification