- Tytuł:
- Q∖Z is diophantine over Q with 32 unknowns
- Autorzy:
-
Zhang, Geng-Rui
Sun, Zhi-Wei - Data publikacji:
- 2022
- Słowa kluczowe:
-
undecidability
definability
diophantine sets
Hilbert’s tenth problem over Q
mixed quantifiers - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł