Pages that link to "Item:Q4088807"
From MaRDI portal
The following pages link to The recursive sets in certain monadic second order fragments of arithmetic (Q4088807):
Displaying 6 items.
- Weak MSO with the unbounding quantifier (Q537919) (← links)
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- Decidable Extensions of Church’s Problem (Q3644764) (← links)
- (Q5089242) (← links)
- (Q5092424) (← links)
