The lattice of z-ideals of every commutative semiring is unconditionally a coherent frame, and under explicit finite-type hypotheses the g-closed ideals form a coherent frame homeomorphic to a prime congruence spectrum.
Cambridge University Press
4 Pith papers cite this work, alongside 55 external citations. Polarity classification is still indexing.
4
Pith papers citing it
55
external citations · OpenAlex
years
2026 4representative citing papers
The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.
An expansion of abelian ℓ-groups with a spectral subspace map admits a model companion that is complete and has quantifier elimination.
A finitary refinement type system is sound and complete for Scott-open properties in a fixpoint-like logic over spectral Scott domains.
citing papers explorer
-
Maximal-Hull $z$-Ideals, Congruence Closures, and Coherent Frames of Commutative Semirings
The lattice of z-ideals of every commutative semiring is unconditionally a coherent frame, and under explicit finite-type hypotheses the g-closed ideals form a coherent frame homeomorphic to a prime congruence spectrum.
-
The Galois theory of $G$-spectra and the Burnside ring
The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.
-
A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
An expansion of abelian ℓ-groups with a spectral subspace map admits a model companion that is complete and has quantifier elimination.
-
A Complete Finitary Refinement Type System for Scott-Open Properties
A finitary refinement type system is sound and complete for Scott-open properties in a fixpoint-like logic over spectral Scott domains.