2 search results - page 1 / 1 » Cardinality Quantifiers in MLO over Trees |
87
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
132
Voted
FUIN
2010
14 years 12 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...