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 />
Coverages<br />
This can be generalised using the notion of a coverage.<br />
A sieve on p is a downwards closed subset of ↓ p. A coverage Cov<br />
is a function that assigns to every p ∈ P a collection Cov(p) of<br />
sieves on p, in such a way that three axioms are satisfied:<br />
1 ↓ p ∈ Cov(p);<br />
2 if q ≤ p and S ∈ Cov(p), then S∩ ↓ q ∈ Cov(q);<br />
3 if S ∈ Cov(p) and Rq ∈ Cov(q) <strong>for</strong> every q ∈ S, then<br />
∪q∈SRq ∈ Cov(p).<br />
Example: the ¬¬-coverage.<br />
Cov(p) = {S ⊆↓ p : S is downwards closed and dense below 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>