scientific article; zbMATH DE number 3745164
From MaRDI portal
Publication:3931391
Cited in
(10)- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- End extensions of models of fragments of \(\mathrm{PA}\)
- Arithmetic analogues of McAloon's unique Rosser sentences
- On Wilkie and Paris's notion of fullness
- Petri nets and large finite sets
- Interpreting weak König's lemma using the arithmetized completeness theorem
- Fragments of arithmetic
- On two problems concerning end extensions
- Where pigeonhole principles meet Koenig lemmas
- On end extensions of models of subsystems of Peano arithmetic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3931391)
