1 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- University of BirminghamGB2 papers
- University of OxfordGB2 papers
- Aalborg UniversityDK1 paper
- Aarhus UniversityDK1 paper
- Bar-Ilan UniversityIL1 paper
- Chalmers University of TechnologySE1 paper
- École Normale Supérieure de RennesFR1 paper
- Film IndependentUS1 paper
- IMDEA Software InstituteES1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
- Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"IT1 paper
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
Hakon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri
Non-well-founded material sets have been modelled in Martin-Löf type theory by Lindström using setoids. In this paper we construct models of non-wellfounded material sets in Homo…
math.LO2026
On the Diophantine problem related to power circuits
Alexander Rybalov
Myasnikov, Ushakov, and Won introduced power circuits in 2012 to construct a polynomial-time algorithm for the word problem in the Baumslag group, which has a non-elementary Dehn f…