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 lo.logic
Search options not deleted
user 82487
first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, theories of truth, truth revision, consistency.
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
5
votes
2
answers
199
views
Products of double-negation sublocales (and probability distributions on them)
In locale theory, one can produce from any locale $A$ its double negation sublocale $A_{\neg\neg}$ via the nucleus which maps an open $U$ of $A$ to $\neg \neg U$, which is the interior of the closure …
- 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
3
votes
Products of double-negation sublocales (and probability distributions on them)
I just want to expand on Simon's answers. Simon was correct regarding my mistaken interest in probability distributions over double-negation locales.
Measures, Randomness, and Sublocales by Alex Simp …
- 303