Talk 3: Properties of motivic spectra (Timon Tausendpfung) – Medium

In the first half of the talk, prove [AHI25, Theorem 4.1]. Then state and deduce P1-homotopy invariance and weighted A1-invariance, [AHI25, Corollaries 4.4 and 4.8]. State  [AHI25, Corollary 4.11], and use it to prove the Bass fundamental theorem [AHI25, Proposition 4.12]. Discuss with the next speaker about possibly different allocations of material between this and the next talk.