scientific article; zbMATH DE number 1420837
From MaRDI portal
Publication:4944905
zbMath0948.03056MaRDI QIDQ4944905
Jan Cederquist, Thierry Coquand
Publication date: 22 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Frames, locales (06D22) Compact (locally compact) metric spaces (54E45) Distributive lattices (06D99)
Related Items (40)
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Bohrification of operator algebras and quantum logic ⋮ Exact approximations to Stone-Čech compactification ⋮ Presenting de Groot duality of stably compact spaces ⋮ A universal algorithm for Krull's theorem ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Eliminating disjunctions by disjunction elimination ⋮ Compact Hausdorff locales in presheaf toposes ⋮ Valuative Lattices and Spectra ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ Compact spaces and distributive lattices. ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Locatedness and overt sublocales ⋮ A representation of stably compact spaces, and patch topology. ⋮ Some points in formal topology. ⋮ Entailment systems for stably locally compact locales ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ Point-Free Spectra of Linear Spreads ⋮ Unnamed Item ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ A note on connected reduced rings ⋮ Ordering groups constructively ⋮ Lattice-ordered groups generated by an ordered group and regular systems of ideals ⋮ A topos for algebraic quantum theory ⋮ On the collection of points of a formal space ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Formal Zariski topology: Positivity and points ⋮ A syntactical proof of the Marriage Lemma. ⋮ Towards formal Baer criteria ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Lorenzen and Constructive Mathematics ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Regular Entailment Relations
This page was built for publication:
