First order quantifiers in monadic second order logic
From MaRDI portal
Publication:5311712
DOI10.2178/jsl/1080938831zbMath1067.03049OpenAlexW2021726786MaRDI QIDQ5311712
H. Jerome Keisler, Wafik Boulos Lotfallah
Publication date: 29 August 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.2619
monadic second-order logicexpressive powerquantifier hierarchyfirst-order quantifierfirst-order closure
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)
Cites Work