elliotglazer/diophantine-z-q
View on GitHub ↗ ★ 74 TeX
A proof that Z is Diophantine in Q.
3 mentions on Hacker News by 3 people: 3 stories, 0 comments · first 2026-11-05 · latest 2026-11-08
20082026
-
▲ 1
A proof that Z is Diophantine in Qstory by lisper · 2026-11-08 · 0 comments
-
▲ 6
ℤ Is Diophantine in ℚstory by artninja1988 · 2026-11-06 · 0 comments
-
▲ 6
Z Is Diophantine in Qstory by bananaflag · 2026-11-05 · 0 comments