Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
From MaRDI portal
Publication:1187538
DOI10.1305/ndjfl/1093636012zbMath0766.03003MaRDI QIDQ1187538
Publication date: 22 July 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636012
03A05: Philosophical and critical aspects of logic and foundations
Related Items