Sven Manthe

activity

20212025

most citedGeneration of Local Unitary Groups

2 citations · 2 across the 4 of their papers we have counts for

collaborators

4 papers

math.LO2025

A formalization of Borel determinacy in Lean

Sven Manthe

We present a formalization of Borel determinacy in the Lean 4 theorem prover. The formalization includes a definition of Gale-Stewart games and a proof of Martin's theorem stating…

math.LO2024

The Borel monadic theory of order is decidable

Sven Manthe

The monadic theory of $(R, \leq)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_{σ}$ sets form an elementary substructure of the Bor…

math.LO2024

A Cobham theorem for scalar multiplication

Philipp Hieronymi, Sven Manthe, Chris Schulz

Let $α, β \in R_{> 0}$ be such that $α, β$ are quadratic and $Q (α) \neq = Q (β)$ . Then every subset of $R^{n}$ definable in both $(\mathbb{R},{<},+,\mathb…

math.NT2021★ 2 cited

Generation of Local Unitary Groups

Simon Brandhorst, Tommy Hofmann, Sven Manthe

Let $E$ be a two-dimensional étale algebra over a non-Archimedean local field $K$ of characteristic zero. We show that the unitary group of a non-degenerate hermitian lattice over…