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 />
The ultrafilter<br />
So suppose X ∈ Ω N (p), i.e., X is a function N → Ω(p).<br />
The ultrafilter is given by: p −X ∈ U iff<br />
{q ≤ p : q ∈ X (n) <strong>for</strong> all n ∈ q} is dense below p.<br />
<strong>On</strong>e easily verifies that E believes this to be a filter, which does<br />
not contain the finite sets. So the main issue is to show that it is<br />
in fact an ultrafilter.<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>