2 papers
math.CO2025
Caterpillars with vertices are reconstructible from subgraphs with at most vertices
Alexandr V. Kostochka, Zishen Qu, Maddy Ritter +1
The $\textit{$m$-deck}$ of an -vertex graph is the multiset of unlabeled induced subgraphs with vertices. Caterpillars are trees in which all nonleaf vertices lie on a singl…
math.AG2025
Projective Space in Synthetic Algebraic Geometry
Felix Cherubini, Thierry Coquand, Matthias Ritter +1
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of thes…