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 48485
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.
1
vote
Accepted
Darboux property of non-atomic sigma-additive nonnegative measures equivalent to the AC?
Here is a proof that only uses countable choice. It is taken from Fremlin, Measure Theory, Volume 5, Number 566F. The chapter 56 of this multi-volume work is a great source on the discussion of choice …
- 273
4
votes
Unnecessary uses of the axiom of choice
The supremum of an arbitrary set of measurable functions from a $\sigma$-finite measure space into $\mathbb R\cup \{\pm\infty\}$ exists in the following sense:
Let $F$ be a set of such measurable func …
- 273