scientific article
From MaRDI portal
Publication:3942026
zbMath0483.54005MaRDI QIDQ3942026
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baire spacecontinuous latticeCantor spacebar inductionfan theoremexponentiabilityLindenbaum algebrascategory of localescategory of sober spacesgeometric propositional theories
Function spaces in general topology (54C35) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Categorical methods in general topology (54B30) Topological lattices, etc. (topological aspects) (54H12) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (23)
Localic metric spaces and the localic Gelfand duality ⋮ Unnamed Item ⋮ Exponentiable Grothendieck categories in flat algebraic geometry ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal spaces and their effective presentations ⋮ What is the fundamental group? ⋮ Exact approximations to Stone-Čech compactification ⋮ Presenting the frame of the unit circle. ⋮ Unnamed Item ⋮ Locatedness and overt sublocales ⋮ An algebraic approach to stable domains ⋮ Continuous categories and exponentiable toposes ⋮ Domain theory in logical form ⋮ A universal characterization of the double powerlocale ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Connected Locally Connected Toposes are Path-Connected ⋮ Preservation of topological properties under exponentiation ⋮ Unnamed Item ⋮ Exponentiable objects in the category of topological molecular lattices ⋮ A globalisation of the Gelfand duality theorem
This page was built for publication:
