Cartagena Logic
From MaRDI portal
Publication:6504639
arXiv2108.13495MaRDI QIDQ6504639
Jouko Väänänen, Siiri Kivimaki, Andrés Villaveces
Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Abstract model theory (03C95)
This page was built for publication: Cartagena Logic
