Some Problems in Logic: Applications of Kripke's Notion of Fulfilment
J. E. Quinsey · arXiv (Cornell University) · 2019
This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of Gödel's Incompleteness Theorem which was model-theoretic, natural (without self-reference), and easy. Fulfilment gives a versatile tool for both Proof and Model Theory. We begin with short proofs to a number of classical results. With two new results: there is an easily definable subring $R$ of the primitive recursive functions such that for any non-principal ultrafilter $D$ on $ω$, $R/D$ is a recursively saturated model of Peano arithmetic; and for any r.e. theory $\textsf{T}$ and for any given r.e. set, we can feasibly find a $Σ_1^0$ formula which semi-represents it in $\textsf{T}$. We then give a version of Herbrand's Theorem, and of the Hilbert-Ackermann method of proving consistency, answering a problem of D. Guaspari:\[\{\ulcornerϕ\urcorner\inΠ^0_k:ϕ\text{ is }Σ^0_k\text{-conservative over $\textsf{PA}$}\}\]is a complete $Π^0_2$ set. We extend H. Friedman's method for results of such as $Σ^1_2\textsf{-AC}$ is $Π^1_3$-conservative over $(Π^1_1\textsf{-CA})_{