POLYP
发表于 2025-3-23 11:00:30
Cardinality Quantifiers in MSO on Trees,In this chapter, we extend the results on second-order cardinality quantifiers, shown for linear orders in the previous chapter, to trees. Our main result, obtained together with Vince Bárány and Alexander Rabinovich , is that the uncountability quantifier can be eliminated from . over trees.
Cursory
发表于 2025-3-23 14:30:50
http://reply.papertrans.cn/59/5880/587962/587962_12.png
温和女人
发表于 2025-3-23 18:26:54
http://reply.papertrans.cn/59/5880/587962/587962_13.png
Laconic
发表于 2025-3-23 23:51:58
http://reply.papertrans.cn/59/5880/587962/587962_14.png
Instantaneous
发表于 2025-3-24 02:24:21
http://reply.papertrans.cn/59/5880/587962/587962_15.png
安慰
发表于 2025-3-24 09:23:03
Cardinality Quantifiers in MSO on Linear Orders,ch we introduced in section 1.5 as the ones that are .-to-. interpretable in a tree. It is therefore a natural extension of the previous work to ask whether counting quantifiers preserve regularity on such generalized-automatic structures.
Stagger
发表于 2025-3-24 11:01:12
ngfügigen Vorteil absehen wollen, der sich einem Spieler dadurch bietet, daß einer den ersten Zug zu machen hat. Auf bestimmte Fragen, die ein Geschicklichkeitsspiel aufwirft, werden wir am Schluß dieses Paragraphen noch kurz zu sprechen kommen In erster Linie sollen uns aber zunächst einmal die rei
allergen
发表于 2025-3-24 14:51:13
0302-9743 automatic structures are in fact finite-word automatic and that the infinity and uncountability set quantifiers are defina978-3-642-22806-3978-3-642-22807-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
Evacuate
发表于 2025-3-24 20:11:37
http://reply.papertrans.cn/59/5880/587962/587962_19.png
评论性
发表于 2025-3-25 01:35:22
http://reply.papertrans.cn/59/5880/587962/587962_20.png