Pages that link to "Item:Q2373700"
From MaRDI portal
The following pages link to On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700):
Displaying 14 items.
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- Selection over classes of ordinals expanded by monadic predicates (Q636340) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Decidable Extensions of Church’s Problem (Q3644764) (← links)
- Decidability of Scott's model as an ordered ℚ-vectorspace (Q4372914) (← links)
- (Q4585066) (← links)
- (Q5089242) (← links)
- (Q5092424) (← links)
- (Q5377469) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- The monadic theory of toric words (Q6652470) (← links)
