The following pages link to (Q3216650):
Displaying 8 items.
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- On effectively computable realizations of choice functions (Q1072545) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Hyperhypersimple sets and \(\Delta _ 2\) systems (Q1823933) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
