Pith. sign in

[Fon08] Ga¨ elle Fontaine

doi:10 · 2013 · DOI 10.1109/lics.2013.56

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

cs.LO 1

years

2025 1

verdicts

ACCEPT 1

representative citing papers

A Dichotomy Theorem for Ordinal Ranks in MSO

cs.LO · 2025-01-09 · accept · novelty 7.0

For any MSO formula over the infinite binary tree whose existential witness is well-founded, the minimal ordinal rank bound is either strictly below ω² or equal to ω1, and it is decidable which holds.

citing papers explorer

Showing 1 of 1 citing paper.

  • A Dichotomy Theorem for Ordinal Ranks in MSO cs.LO · 2025-01-09 · accept · none · ref 9

    For any MSO formula over the infinite binary tree whose existential witness is well-founded, the minimal ordinal rank bound is either strictly below ω² or equal to ω1, and it is decidable which holds.