C-minimal theory: Difference between revisions

Content deleted Content added
Definition: Forgot one.
Example: use terminology consistent with p-adic number
Line 16:
==Example==
 
For a [[prime number]] ''p'' and a [[p-adic number|''p''-adic number]] ''a'', let |''a''|<sub>''p''</sub> denote its ''p''-adic normabsolute value. Then the relation defined by <math>C(a; b, c) \iff |b-c|_p < |a-c|_p</math> is a ''C''-relation, and the theory of '''Q'''<sub>''p''</sub> with addition and this relation is C-minimal. The theory of '''Q'''<sub>''p''</sub> as a field, however, is not C-minimal.
 
==References==