pith. sign in

Symbolic Logic 73 (2008), no

Dietrich Kuske, Markus Lohrey, First-order, counting theories of ω-automatic structures, J · 2008 · arXiv jsl/1208358

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

1 Pith paper citing it
read on arXiv browse 1 citing papers

fields

math.GR 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Automatic actions I. Bounded automata and orbits

math.GR · 2026-06-06 · unverdicted · novelty 7.0

For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-critically finite polynomials.

citing papers explorer

Showing 1 of 1 citing paper.

  • Automatic actions I. Bounded automata and orbits math.GR · 2026-06-06 · unverdicted · none · ref 28

    For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-critically finite polynomials.