Pages that link to "Item:Q1377633"

The following pages link to Infinitary definitions of equivalence relations in models of PA (Q1377633):

Displaying 2 items.

• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
• The arithmetic of cuts in models of arithmetic (Q2856636) (← links)