Pages that link to "Item:Q1187538"
From MaRDI portal
The following pages link to Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order (Q1187538):
Displayed 1 item.
The following pages link to Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order (Q1187538):
Displayed 1 item.