Constructive strong regularity and the extension property of a compactification

DOI10.1016/J.APAL.2022.103154MaRDI QIDQ2084952zbMATH OpenOpenAlexFDO

Authors 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

compactificationsconstructive set theorydependent choiceinductive and coinductive definitionslocalesstrong regularity

Mathematics Subject Classification ID

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

Recommendations

• Compactness in constructive analysis revisited
• Characterizing strong compactness via strongness
• scientific article; zbMATH DE number 4048635
• scientific article; zbMATH DE number 4064025
• On some very strong compactness conditions
• scientific article; zbMATH DE number 1061222
• Weak compactness in constructive spaces
• scientific article; zbMATH DE number 1948156
• An extension of de Vries duality to completely regular spaces and compactifications
• scientific article; zbMATH DE number 3917214

Cites work

• Compactification of Frames
• Constructive set theory and Brouwerian principles
• Constructivism in mathematics. An introduction. Volume I
• Exact approximations to Stone-Čech compactification
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 3742211 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 2096468 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• On Tarski’s fixed point theorem
• On the existence of Stone-Čech compactification
• Remarks on the Stone-Čech and Alexandroff compactifications of locales
• The Relation Reflection Scheme
• Topological inductive definitions

Cited in

(2)

• THE LINK BETWEEN REGULARITY AND STRONG-PI-REGULARITY
• Constructive strong regularity and the extension property of a compactification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2084952)