Applications of Many‐Sorted Robinson Consistency Theorem

DOI10.1002/malq.19810271103zbMath0463.03023OpenAlexW2130796080MaRDI QIDQ3912567

Daniele Mundici

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810271103

zbMATH Keywords

abstract compactness and interpolationlogics with extra quantifiers

Mathematics Subject Classification ID

Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Abstract model theory (03C95)

Related Items

Inverse topological systems and compactness in abstract model theory, Duality Between Logics and Equivalence Relations, Interpolation, compactness and JEP in soft model theory