Expressing cardinality quantifiers in monadic second-order logic over chains
From MaRDI portal
Publication:3011122
DOI10.2178/jsl/1305810766zbMath1222.03009OpenAlexW2154389574MaRDI QIDQ3011122
Vince Bárány, Łukasz Kaiser, Alexander Rabinovich
Publication date: 28 June 2011
Published in: The 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.169.9693
chainsordinalscardinality quantifierscountable linear ordersextension of monadic second-order logic of order
Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
Cites Work
- The monadic second order theory of all countable ordinals
- The monadic theory of order
- Monadic theory of order and topology, I
- Weak Second‐Order Arithmetic and Finite Automata
- The monadic theory of ω2
- Modest theory of short chains. I
- Modest theory of short chains. II
- First-order and counting theories ofω-automatic structures
- Unnamed Item
This page was built for publication: Expressing cardinality quantifiers in monadic second-order logic over chains
