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 constructive-mathematics
Search options not deleted
user 3154
Constructive mathematics in the style of Bishop, including its semantics using realizabilty or topological methods.
0
votes
Can dependent sums be encoded as dependent products?
This is certainly not what the question was after, but since the answers seem to be something along the lines of yes, sometimes, but not unless...
Multi-sorted first-order logic (i.e., classical logi …
- 2,283