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 model-theory
Search options not deleted
user 27047
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
2
votes
Applications of the Ax Kochen Ershov (AKE) princicple
AKE prinicpal alows us to deduce conclusions about the theory of the valuaed field from the theories of the residue field and value group. Via this you prove, for example, that such and such theories …
