On the strength of the interpretation method
From MaRDI portal
Publication:3476808
DOI10.2307/2274850zbMath0699.03031MaRDI QIDQ3476808
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274850
03B25: Decidability of theories and sets of sentences
03F30: First-order arithmetic and fragments
03F25: Relative consistency and interpretations
Related Items