First order meta theories

DOI10.1093/JIGPAL/5.1.97zbMath0882.03009OpenAlexW2169966809MaRDI QIDQ4340931

Alan Hutchinson

Publication date: 12 March 1998

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

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

zbMATH Keywords

meta-languagesCarnap-Tarski approachdistinction between theories and meta-theoriestransformation to meta-level

Mathematics Subject Classification ID

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

This page was built for publication: First order meta theories