Point-Free Spectra of Linear Spreads
From MaRDI portal
Publication:3305641
DOI10.1007/978-3-030-20447-1_19zbMath1476.03078OpenAlexW2981740649MaRDI QIDQ3305641
Publication date: 10 August 2020
Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_19
Constructive and recursive analysis (03F60) Structure and representation theory of distributive lattices (06D05) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Frames and locales, pointfree topology, Stone duality (18F70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finitary formal topologies and Stone's representation theorem
- Space of valuations
- Minimally generated Boolean algebras
- Constructivism in mathematics. An introduction. Volume II
- Some points in formal topology.
- Eliminating disjunctions by disjunction elimination
- About Stone's notion of spectrum
- Untersuchungen über das logische Schliessen. I
- Untersuchungen über das logische Schliessen. II
- Remarks on the Scott-Lindenbaum theorem
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
- Unique paths as formal points
- Cut Elimination in the Presence of Axioms
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- TOPOLOGY ON THE SPACES OF ORDERINGS OF GROUPS
- The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
- Algebraische und logistische Untersuchungen über freie Verbände
- Dynamical method in algebra: Effective Nullstellensätze
This page was built for publication: Point-Free Spectra of Linear Spreads
