Domain extensions and higher-order syntactical interpretations

DOI10.1515/9781614518471.337MaRDI QIDQ3452182zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Domain extension and ideal elements in mathematics
• scientific article; zbMATH DE number 1086664
• Publication:4939031
• Goodman's extensional isomorphism and syntactical interpretations
• scientific article; zbMATH DE number 1086725

Cited in

(4)

• Domains of Sciences, Universes of Discourse and Omega Arguments
• scientific article; zbMATH DE number 4068335 (Why is no real title available?)
• Domain extension and ideal elements in mathematics
• Goodman's extensional isomorphism and syntactical interpretations

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)