Pages that link to "Item:Q4372909"

The following pages link to Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909):

Displaying 1 item.

• The full binary tree cannot be interpreted in a chain (Q3066806) (← links)