Publication:3931391
From MaRDI portal
zbMath0475.03041MaRDI QIDQ3931391
Publication date: 1981
03H15: Nonstandard models of arithmetic
Related Items
On end extensions of models of subsystems of Peano arithmetic, Fragments of arithmetic, On two problems concerning end extensions, Petri nets and large finite sets, Arithmetic analogues of McAloon's unique Rosser sentences