The following pages link to (Q3931391):
Displayed 10 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)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem (Q2814420) (← links)
- On Wilkie and Paris’s notion of fullness (Q4615032) (← links)
- Where pigeonhole principles meet Koenig lemmas (Q5158115) (← links)
- On end extensions of models of subsystems of Peano arithmetic (Q5941254) (← links)