boolean pretopos 1constant domain logic 1discrete locales 1intuitionistic logic 1presheaf toposes 1topos theory 1
From the 1 of 7 linked papers with an AI index.
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Compact-Open Dualities for Stably Continuous Posets
Jérémie Marquès, Jérémie Marquès
We organize and generalize several dualities involving continuous posets. The main theorem reads $\mathbf{St}_α\mathbf{Inf}_{α'}\mathbf{Cont}_{β'}\mathbf{Sup}_β\simeq (\mathbf{St}_…
math.LO2026
The Constant Domain Axiom in Toposes
Jérémie Marquès
The paper shows that the constant domain axiom for intuitionistic logic can be modeled in any topos using objects that are covert and Hausdorff as discrete locales, and proves that…