A New Method for Undecidability Proofs of First Order Theories

R. Treinen
DOI: https://doi.org/10.1007/3-540-53487-3_34
1990-12-17
Abstract:
What problem does this paper attempt to address?