The following pages link to (Q3931391):
Displayed 5 items.
- Fragments of arithmetic (Q762484) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- Petri nets and large finite sets (Q1060848) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- On end extensions of models of subsystems of Peano arithmetic (Q5941254) (← links)