Domain Extensions and Higher-Order Syntactical Interpretations

DOI10.1515/9781614518471.337zbMath1347.03102OpenAlexW2493869383MaRDI QIDQ3452182

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

zbMATH Keywords

domain extensions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)

This page was built for publication: Domain Extensions and Higher-Order Syntactical Interpretations