Point-Free Spectra of Linear Spreads

DOI10.1007/978-3-030-20447-1_19zbMATH Open1476.03078OpenAlexW2981740649MaRDI QIDQ3305641FDOQ3305641

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

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

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)

Cites Work

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

Cited In (6)

• Dimension spectra of lines
• A general Glivenko-Gödel theorem for nuclei
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Regular entailment relations
• Title not available (Why is that?)
• Title not available (Why is that?)

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)