Domain extensions and higher-order syntactical interpretations
From MaRDI portal
Publication:3452182
DOI10.1515/9781614518471.337zbMATH Open1347.03102OpenAlexW2493869383MaRDI QIDQ3452182FDOQ3452182
Authors: Marek Polanski
Publication date: 18 November 2015
Published in: Formalism and Beyond (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/9781614518471.337
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)
Cited In (4)
This page was built for publication: Domain extensions and higher-order syntactical interpretations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452182)