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 14913
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.
24
votes
Accepted
Is it necessary to use AC to solve this problem ?
I can't find the error in this argument, but everybody seems convinced (in the comments) that such a simply definable set with the desired property doesn't exist so there must be an error somewhere.
…
- 1,354
16
votes
Accepted
Two questions about vector spaces absent AC.
To complement François' answer, here's a fairly explicit example of a real vector space admitting no nonzero linear functional in a model of ZFDC + all sets of reals have the Baire property (which is …
- 1,354