The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.
Cambridge University Press, 2019
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
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
-
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.