A note on interpretations of many-sorted theories

DOI10.2307/2274223zbMath0571.03026OpenAlexW2002095943MaRDI QIDQ3688387

Julian L. Hook

Publication date: 1985

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

Full work available at URL: https://doi.org/10.2307/2274223

zbMATH Keywords

many-sorted logic

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Related Items (1)

LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: A note on interpretations of many-sorted theories