Pages that link to "Item:Q4323838"

The following pages link to Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838):

Displaying 2 items.

• Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
• Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)