2 papers
math.AT2025
Norms in equivariant homotopy theory
Tobias Lenz, Sil Linskens, Phil Pützstück
We show that the -category of normed algebras in genuine -spectra, as introduced by Bachmann-Hoyois, is modelled by strictly commutative algebras in -symmetric spectr…
cs.LO2021
Logics of Dependence and Independence: The Local Variants
Erich Grädel, Phil Pützstück
Modern logics of dependence and independence are based on team semantics, which means that formulae are evaluated not on a single assignment of values to variables, but on a set of…