Constructive strong regularity and the extension property of a compactification

DOI10.1016/j.apal.2022.103154OpenAlexW3163609021MaRDI QIDQ2084952

Giovanni Curi

Publication date: 14 October 2022

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

Full work available at URL: https://arxiv.org/abs/2105.07457

zbMATH Keywords

compactificationslocalesstrong regularityconstructive set theorydependent choiceinductive and coinductive definitions

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological inductive definitions
• Exact approximations to Stone-Čech compactification
• Constructivism in mathematics. An introduction. Volume I
• Remarks on the Stone-Čech and Alexandroff compactifications of locales
• On Tarski’s fixed point theorem
• On the existence of Stone-Čech compactification
• Compactification of Frames
• The Relation Reflection Scheme