Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order

DOI10.1305/NDJFL/1093636012zbMath0766.03003OpenAlexW2051027116MaRDI QIDQ1187538

Allen P. Hazen

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

zbMATH Keywords

dense linear orderramified second-order logicundecidable theorypredicate higher-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Predicative logic and formal arithmetic

This page was built for publication: Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order