DOI10.2307/2274571zbMath0655.03026MaRDI QIDQ3801537
Juan Carlos Martínez, Jörg Flum
Publication date: 1988 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2274571
zbMATH Keywords
infinitary logic; topological model theory
Mathematics Subject Classification ID
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C75: Other infinitary logic