Abstract:We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen $\infty$-categories in the sense of Barwick equipped with a compatible duality and a refinement of their (lax) hermitian objects generalizing the concept of Poincaré $\infty$-categories of Lurie. They may also be thought of as a version of complete Segal spaces enriched in genuine $C_2$-spaces whose underlying $\infty$-category carries a compatible Waldhausen structure, since we show that their respective $\infty$-categories are equivalent. We define the real $K$-theory genuine $C_2$-spaces by means of an enriched version of the $S_\bullet$-construction, defined for Waldhausen $\infty$-categories with genuine duality. Moreover, we prove an Additivity Theorem for this $S_\bullet$-construction which leads to an Additivity Theorem for real $K$-theory. Furthermore, such real $K$-theory satisfy a universal property -- analogous to that proved by Barwick for algebraic $K$-theory of Waldhausen $\infty$-categories --: We prove that every theory can be universally turned into an additive theory and identify our real K-theory with the universal additive theory associated to the functor that associates to a Waldhausen $\infty$-category with genuine duality its maximal subspace. Finally, we promote the real $K$-theory genuine $C_2$-spaces to genuine $C_2$-spectra.

Realizing arbitrarily large spectra of $\mathfrak{a}_{\text{T}}$

A Measure Theoretic Proof of $\mathfrak p=\mathfrak t$

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions

Spectrum in alternative topological algebras and a new look at old theorems

The smashing spectrum of sheaves

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

Forcing consequences of PFA together with the continuum large

Quantitative Fundamental Theorem of Algebra

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

It takes two spectral sequences

Tiling sets and spectral sets over finite fields

The T^1-lifting theorem in positive characteristic

The real spectrum compactification of character varieties

A new proof of the Bondal-Orlov reconstruction using Matsui spectra

Gluing compactly generated t-structures over stalks of affine schemes

A general theory of iterated forcing using finitely additive measures

Forcing over choiceless models and generic absoluteness

A quantitative converse of Fekete's theorem

Real K-theory for Waldhausen infinity categories with genuine duality

Boolean Abstractions for Realizability Modulo Theories (Extended version)