Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

DOI10.3233/FI-2010-260zbMath1211.03017OpenAlexW1888128996MaRDI QIDQ3065008

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Publication date: 3 January 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-260

zbMATH Keywords

monadic second-order logicinfinite treescardinality quantifiersCantor topology

Mathematics Subject Classification ID

Descriptive set theory (03E15) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80)

Related Items (5)

Graded modalities in strategy logic ⋮ Unnamed Item ⋮ Counting branches in trees using games ⋮ On degrees of ambiguity for Büchi tree automata ⋮ Unnamed Item

This page was built for publication: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees