Coinductive formulas and a many-sorted interpolation theorem

DOI10.2307/2274584zbMath0669.03018OpenAlexW2033321278MaRDI QIDQ3822150

Ursula Gropp

Publication date: 1988

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

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

zbMATH Keywords

interpolationinductive definitionsmany-sorted languagesco-inductive formula

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Inductive definability (03D70) Logic on admissible sets (03C70)

Cites Work

• Universal classes in infinitary languages
• A new look at the interpolation problem
• Applications of vaught sentences and the covering theorem
• Boolean models and infinitary first order languages

This page was built for publication: Coinductive formulas and a many-sorted interpolation theorem