Logic over words on denumerable ordinals
From MaRDI portal
Publication:1604197
DOI10.1006/jcss.2001.1782zbMath1006.68072OpenAlexW2032475218MaRDI QIDQ1604197
Publication date: 4 July 2002
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/34716c3aaa8830d7062458d7b3f7dbcf80aabda7
Related Items (6)
Schützenberger and Eilenberg theorems for words on linear orderings ⋮ First-order separation over countable ordinals ⋮ A hierarchy of tree-automatic structures ⋮ Logic and rational languages of words indexed by linear orderings ⋮ Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) ⋮ Star-free sets of words on ordinals
Cites Work
- On the expressive power of temporal logic for infinite words
- A syntactic congruence for rational \(\omega\)-languages
- First-order logic and star-free sets
- Star-free sets of words on ordinals
- On the expressive power of temporal logic
- An application of games to the completeness problem for formalized theories
- Weak Second‐Order Arithmetic and Finite Automata
- Application of model theoretic games to discrete linear orders and finite automata
- Star-free regular sets of ω-sequences
- Automata, Semigroups and Recognizability of Words on Ordinals
- On finite monoids having only trivial subgroups
- $ℵ_0$-categoricity of linear orderings
- Decision methods in the theory of ordinals
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Logic over words on denumerable ordinals
