Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with intuitionism
Search options answers only
not deleted
user 33505
7
votes
Is there a completeness proof of intuitionistic predicate calculus using Heyting algebra sem...
Harry de Swart's PhD from the University of Nijmegen (the Netherlands) was (explicitly) about this kind of topic. He establishes the completeness of IPC using search trees, in an intuitionistic meta …
- 4,359
2
votes
Is Bauer–Hanson’s result “there is a topos where the Dedekind reals are countable” novel?
Against my better judgement, I would answer your question in the negative.
My motivation is that even rather strong classical theories cannot prove that
"there is no injection from Cantor space (or: t …
- 4,359
8
votes
Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?
Comment environment was acting funny, so I am writing an "answer". Here is a good place to start:
Harry de Swart's PhD from the University of Nijmegen (the Netherlands) was about this kind of topic:
…
- 4,359