Pages that link to "Item:Q2773366"
From MaRDI portal
The following pages link to Decidability and definability results related to the elementary theory of ordinal multiplication (Q2773366):
Displaying 5 items.
- Decidability in elementary analysis. I (Q1823233) (← links)
- Arithmetical algorithms for elementary patterns (Q2257107) (← links)
- Generalized ordinal sums and the decidability of BL-chains (Q2577686) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)