On a forcing model for non-standard arithmetic
On a forcing model for non-standard arithmetic
On a forcing model for non-standard arithmetic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Sheaf semantics A <strong>non</strong>-principal ultrafilter A <strong><strong>for</strong>cing</strong> <strong>model</strong> <strong>for</strong> <strong>non</strong>-<strong>standard</strong> <strong>arithmetic</strong> Open questions<br />
The <strong><strong>for</strong>cing</strong> <strong>model</strong><br />
Let P be the preorder consisting of infinite subsets of N, preordered<br />
by:<br />
p ≤ q ⇔ ∃n ∀k ≥ n (k ∈ p → k ∈ q),<br />
and let E = Sh(P, ¬¬). The object of truth values in E is<br />
Ω(p) = {closed sieves on p},<br />
where a sieve S is closed, if S dense below q implies q ∈ S. The<br />
power set PN = Ω N is given by<br />
Ω N (p) = {X : N → Ω(p)}.<br />
Benno van den Berg, TU Darmstadt, Germany <strong>On</strong> a <strong><strong>for</strong>cing</strong> <strong>model</strong> <strong>for</strong> <strong>non</strong>-<strong>standard</strong> <strong>arithmetic</strong>