Pages that link to "Item:Q4525542"

The following pages link to Geometric and higher order logic in terms of abstract Stone duality (Q4525542):

Displaying 15 items.

• Continuity and geometric logic (Q280833) (← links)
• The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
• Metric spaces in synthetic topology (Q651311) (← links)
• An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
• A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
• An equational notion of lifting monad (Q1398461) (← links)
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
• Sobriety for equilogical spaces (Q2253179) (← links)
• Local compactness and the Baire category theorem in abstract Stone duality (Q2842829) (← links)
• Inside every model of abstract Stone duality lies an arithmetic universe (Q2849890) (← links)
• The Dedekind reals in abstract Stone duality (Q3395312) (← links)
• Subspaces in abstract Stone duality (Q4540525) (← links)
• (Q5208904) (← links)
• A Hofmann-Mislove theorem for Bitopological Spaces (Q5262937) (← links)
• Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)