scientific article; zbMATH DE number 3745164
From MaRDI portal
Publication:3931391
zbMATH Open0475.03041MaRDI QIDQ3931391FDOQ3931391
Authors: Jeff Paris 
Publication date: 1981
Title of this publication is not available (Why is that?)
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\)
- On Wilkie and Paris’s notion of fullness
- Arithmetic analogues of McAloon's unique Rosser sentences
- Petri nets and large finite sets
- 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)
