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 fields
Search options not deleted
user 10384
Fields as algebraic objects. For vector and tensor fields, use eg. [dg.differential-geometry]. For physical fields, use eg. [mp.mathematical-physics] or [quantum-field-theory].
10
votes
How much choice is needed to show that formally real fields can be ordered?
Konrad Swanepoel's accepted answer shows what happens in the general case, for formally real fields of any cardinality. … The results for countable fields are thus analogous to those for fields of arbitrary cardinality, with weak König's lemma playing the role of the ultrafilter lemma and the base theory $\mathsf{RCA}_0$ …
- 1,094