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 />
Intermediate intuitionistic <strong>model</strong>s<br />
Question: are there <strong>model</strong>s of intuitionistic <strong>non</strong>-<strong>standard</strong><br />
<strong>arithmetic</strong> such that what we saw above can be seen as the result<br />
of combining the intuitionistic <strong>model</strong> with a double negation<br />
translation?<br />
I believe this can be done in at least two ways.<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>
Change language