Scott's interpolation theorem fails for Lω1, ω

DOI10.1017/S0022481200065518zbMath0344.02010MaRDI QIDQ4111528

Henry Africk

Publication date: 1974

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

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cites Work

• Infinitary analogs of theorems from first order model theory

This page was built for publication: Scott's interpolation theorem fails for L_{ω1, ω}