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

DOI10.2307/2270577zbMath0199.00304OpenAlexW2043097765MaRDI QIDQ5596728

No author found.

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)

Related Items (5)

Dependence of variables construed as an atomic formula ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ On the Failure of the Weak Beth Property

Cites Work

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

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