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 82487
Constructive mathematics in the style of Bishop, including its semantics using realizabilty or topological methods.
5
votes
0
answers
253
views
Uniqueness of localic analogue of Radon-Nikodym derivatives
In classical probability theory, Radon-Nikodym derivatives are unique up to measure-0 sets of the background measure. I am wondering whether the following statement, intended to state an analogue of t …
- 303
5
votes
0
answers
413
views
Inductive generation of non-spatial locales
Is there an example of a locale/formal space which is not spatial (i.e., one can prove it is not spatial, rather than something like $\mathbb{R}$, where spatiality is independent in a constructive met …
- 303
8
votes
Difference between constructive Dedekind and Cauchy reals in computation
As others have mentioned, there are many different variations in the exact notion of Cauchy reals and Dedekind reals which affect the answer.
I will choose variations so that I can offer a counterpoin …
- 303