- Undecidability of expansions of Laurent series fields by cyclic discrete subgroups Leo Gitin Mon 12 May 2025
- Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas Fri 17 May 2024
- Decidability of extensions of Presburger arithmetic by generalised polynomials Jakub Konieczny Tue 02 April 2024
- Undecidable translational tilings with only two tiles, or one nonabelian tile Rachel Greenfeld Terence Tao Sun 26 March 2023
- Presburger arithmetic, rational generating functions, and quasi-polynomials K. Woods Mon 10 September 2018
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
