Satisfaction for n-th order languages defined in n-th order languages

DOI10.2307/2270577MaRDI QIDQ5596728zbMATH OpenOpenAlexFDO

Authors

Publication date 1965

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

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Undecidable theories

Cited in

(7)

• Harmonious logic: Craig's interpolation theorem and its descendants
• The Craig interpolation theorem in abstract model theory
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
• On the Failure of the Weak Beth Property
• A Necessary and Sufficient Condition for Chomsky-Productions Over Partially Ordered Symbol Sets
• Dependence of variables construed as an atomic formula
• Approximately satisfied properties of systems and simple language homomorphisms

This page was built for publication: Satisfaction for n-th order languages defined in n-th order languages

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