Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,695 papers · 148 categories

Trend · papers per month

0111 · Aug 202019922001200920172026
1 result for bi-interpretable

The curve graph's model theory reveals its central role in surface study.

problem Why is the curve graph central in surface and mapping class group studies?
method Developed a bridge between model theory, topology, and group theory; bi-interpreted curve graph with mapping class group.
result Proved the curve graph's first-order theory is ωω-stable and has quantifier elimination.