Point-Free Spectra of Linear Spreads

DOI10.1007/978-3-030-20447-1_19MaRDI QIDQ3305641zbMATH OpenOpenAlexFDO

Authors Daniel Wessel

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

zbMATH Keywords

Cantor spacedistributive latticeentailment relationlinear spreadweak Kőnig lemma

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure and representation theory of distributive lattices (06D05) Constructive and recursive analysis (03F60) Frames and locales, pointfree topology, Stone duality (18F70)

Recommendations

• Pointfree spectra of Riesz spaces
• Isolated spectral points of a linear relation
• Local spectral properties of point spectrum preserving linear maps
• Dimension spectra of lines
• Dimension spectra of lines
• Linear spectral sets and their extremal varieties
• Spectral properties of a compactly perturbed linear span of projections
• Publication:3482387
• Spectrum-preserving linear maps
• scientific article; zbMATH DE number 3037281

Cites work

• scientific article; zbMATH DE number 1670483 (Why is no real title available?)
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• About Stone's notion of spectrum
• Algebraische und logistische Untersuchungen über freie Verbände
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Constructivism in mathematics. An introduction. Volume II
• Cut Elimination in the Presence of Axioms
• Cut elimination for entailment relations
• Dynamical method in algebra: Effective Nullstellensätze
• Eliminating disjunctions by disjunction elimination
• Finitary formal topologies and Stone's representation theorem
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Minimally generated Boolean algebras
• Remarks on the Scott-Lindenbaum theorem
• Separating fragments of WLEM, LPO, and MP
• Some points in formal topology.
• Space of valuations
• TOPOLOGY ON THE SPACES OF ORDERINGS OF GROUPS
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• Unique paths as formal points
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II

Cited in

(6)

• scientific article; zbMATH DE number 1670483 (Why is no real title available?)
• Dimension spectra of lines
• A general Glivenko-Gödel theorem for nuclei
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Regular entailment relations
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)

This page was built for publication: Point-Free Spectra of Linear Spreads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305641)