On extensions of \(L_{\omega\omega}(Q_1)\)

DOI10.1305/ndjfl/1093883342zbMath0438.03040OpenAlexW2056380831MaRDI QIDQ1141645

Xavier Caicedo

Publication date: 1981

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883342

zbMATH Keywords

elementary equivalencemonadic logiclogics with filter quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Related Items (4)

Model theory of monadic predicate logic with the infinity quantifier ⋮ Maximale monadische Logiken ⋮ Henkin and function quantifiers ⋮ Games and Lindström theorems

This page was built for publication: On extensions of \(L_{\omega\omega}(Q_1)\)