Expressing cardinality quantifiers in monadic second-order logic over chains

DOI10.2178/JSL/1305810766MaRDI QIDQ3011122zbMATH OpenOpenAlexFDO

Authors Vince Bárány, Łukasz Kaiser, Alexander Rabinovich

Publication date 28 June 2011

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.169.9693

zbMATH Keywords

chainsordinalscardinality quantifierscountable linear ordersextension of monadic second-order logic of order

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Expressing cardinality quantifiers in monadic second-order logic over trees
• Cardinality Quantifiers in MLO over Trees
• scientific article; zbMATH DE number 2038747
• Monadic Second Order Logic with Measure and Category Quantifiers
• scientific article; zbMATH DE number 4035803

Cites work

• scientific article; zbMATH DE number 3689355 (Why is no real title available?)
• First-order and counting theories ofω-automatic structures
• Modest theory of short chains. I
• Modest theory of short chains. II
• Monadic theory of order and topology, I
• The monadic second order theory of all countable ordinals
• The monadic theory of ω₂
• The monadic theory of order
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(11)

• scientific article; zbMATH DE number 1138595 (Why is no real title available?)
• Cardinality Quantifiers in MLO over Trees
• scientific article; zbMATH DE number 2038747 (Why is no real title available?)
• scientific article; zbMATH DE number 7168148 (Why is no real title available?)
• Enhancing fixed point logic with cardinality quantifiers
• Interpreting second-order logic in the monadic theory of order
• Uncountable cardinals have the same monadic ∀₁¹positive theory over large sets
• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• Expressing cardinality quantifiers in monadic second-order logic over trees
• scientific article; zbMATH DE number 5354049 (Why is no real title available?)
• Expansions of MSO by cardinality relations

This page was built for publication: Expressing cardinality quantifiers in monadic second-order logic over chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011122)