Articles with article keyword: undecidability

Defining ${\mathbb Z}$ in ${\mathbb Q}$

Pages 73-93 by Jochen Koenigsmann | From volume 183-1