Sven Manthe

activity

20212025

most citedGeneration of Local Unitary Groups

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

collaborators

Showing 2024Show all

2 papers · 1 filter

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…