scientific article
From MaRDI portal
Publication:3931391
zbMath0475.03041MaRDI QIDQ3931391
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Arithmetic analogues of McAloon's unique Rosser sentences ⋮ 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}\) ⋮ On Wilkie and Paris’s notion of fullness ⋮ On two problems concerning end extensions ⋮ Where pigeonhole principles meet Koenig lemmas ⋮ On end extensions of models of subsystems of Peano arithmetic ⋮ Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem ⋮ Fragments of arithmetic ⋮ Petri nets and large finite sets
This page was built for publication:
