First order meta theories

DOI10.1093/JIGPAL/5.1.97MaRDI QIDQ4340931zbMATH OpenOpenAlexFDO

Authors Alan Hutchinson

Publication date 12 March 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/5.1.97

zbMATH Keywords

Carnap-Tarski approachdistinction between theories and meta-theoriesmeta-languagestransformation to meta-level

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 4075049
• scientific article; zbMATH DE number 877755
• scientific article; zbMATH DE number 761283
• Modal Theorem Proving: An Equational Viewpoint
• High-Level Theories
• A mathematically derived definitional/semantical theory of truth
• scientific article; zbMATH DE number 622668
• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 4155932

Cited in

(3)

• Adding metatheoretic facilities to first-order theories
• Notes on models of first-order mereological theories
• scientific article; zbMATH DE number 877755 (Why is no real title available?)

This page was built for publication: First order meta theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340931)