scientific article; zbMATH DE number 3745164
From MaRDI portal
Publication:3931391
Cited in
(10)- Where pigeonhole principles meet Koenig lemmas
- Fragments of arithmetic
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- Arithmetic analogues of McAloon's unique Rosser sentences
- Petri nets and large finite sets
- On Wilkie and Paris's notion of fullness
- On end extensions of models of subsystems of Peano arithmetic
- Interpreting weak König's lemma using the arithmetized completeness theorem
- On two problems concerning end extensions
- End extensions of models of fragments of \(\mathrm{PA}\)
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)
