Limits to some interpolation theorems

zbMath0354.02019MaRDI QIDQ1236524

Ruggero Ferro

Publication date: 1976

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1975__54__201_0

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)

Cites Work

• Two interpolation theorems for a predicate calculus
• Unnamed Item

This page was built for publication: Limits to some interpolation theorems