On a forcing model for non-standard arithmetic
On a forcing model for non-standard arithmetic
On a forcing model for non-standard arithmetic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
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 />
Intuitionistic <strong>model</strong> 2<br />
Let B be the powerset of N, ordered by inclusion, and consider the<br />
ideal I of finite sets in N. I determines a coverage on B:<br />
S ∈ Cov(c) ⇔ ∃i ∈ I , b1, . . . , bn ∈ S : b1 ∨ . . . ∨ bn ∨ i = c,<br />
which we will also denote by I . In E = Sh(B, I ) the following<br />
defines an filter on N:<br />
p −X ∈ U ⇔ {q ≤ p : q ∈ X (n) <strong>for</strong> all n ∈ q} ∈ Cov(p).<br />
Forcing clauses <strong>for</strong> the atomic <strong>for</strong>mulas are as above and the<br />
clauses <strong>for</strong> the interpretation of logical connectives are as in<br />
covering semantics.<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>