scientific article
From MaRDI portal
Publication:3140629
zbMath0794.03077MaRDI QIDQ3140629
No author found.
Publication date: 13 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Generalizing theorems in real closed fields, 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}\), Algebraic combinatorics in bounded induction, On axiom schemes for \(T\)-provably \(\Delta_1\) formulas