The following pages link to (Q3530398):
Displaying 6 items.
- Decidability and definability results related to the elementary theory of ordinal multiplication (Q2773366) (← links)
- THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS (Q3328512) (← links)
- Finite state automata and monadic definability of singular cardinals (Q3503746) (← links)
- Ordinal definability in Jensen's model (Q3708012) (← links)
- (Q3753997) (← links)
- (Q4347583) (← links)