Generalized interpolation theorems

DOI10.2307/2272977zbMath0267.02037OpenAlexW2114229518MaRDI QIDQ5685074

Stephen J. Garland

Publication date: 1972

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

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Model theory (03C99) Other infinitary logic (03C75) General logic (03B99)

Cites Work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Generalized interpolation and definability
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized interpolation theorems