C-minimal theory: Difference between revisions

Revision as of 22:41, 20 January 2008

Latest revision as of 21:56, 6 March 2025

(21 intermediate revisions by 13 users not shown)

Line 1:

In [[model theory]], a branch of [[mathematical logic]], a '''C-minimal theory''' is a theory whichthat is "minimal" with respect to a [[Triadic relation|ternary relation]] ''C'' with certain properties. The[[Algebraically theoriesclosed offield]]s thewith a (Krull) [[p-adicvaluation number(algebra)|''p''-adic number fieldsvaluation]] '''Q'''_''p'' are perhaps the most important example.

This notion was defined in analogy to the [[o-minimal theory|o-minimal theories]], which are "minimal" (in the same sense) with respect to a linear order.

== Definition ==

A ''C''-relation is a ternary relation {{nowrap|''C''(''x''; ''yzy'', ''z'')}} that satisfies the following axioms.

# <math>\forall xyz\, [ C(x;yzy,z)\rightarrow C(x;zyz,y) ],</math>,

# <math>\forall xyz\, [ C(x;yzy,z)\rightarrow\neg C(y;xzx,z) ],</math>,

# <math>\forall xyzw\, [ C(x;yzy,z)\rightarrow (C(w;yzy,z)\vee C(x;wzw,z)) ],</math>,

# <math>\forall xy\, [ x\neq y \rightarrow \exists z\neq y\, C(x;yzy,z) ].</math>.

A '''C-minimal structure''' is a [[structure (mathematical logic)|structure]] ''M'', in a [[signature (mathematical logic)|signature]] containing the symbol ''C'', such that ''C'' satisfies the above axioms and every set of elements of ''M'' that is definable with parameters in ''M'' is a Boolean combination of instances of ''C'', i.e. of formulas of the form {{nowrap|''C''(''x''; ''bcb''), ''c'')}}, where ''b'' and ''c'' are elements of ''M''. A theory is called C-minimal if all of its models are C-minimal.

A theory is called '''C-minimal''' if all of its models are C-minimal. A structure is called '''strongly C-minimal''' if its theory is C-minimal. One can construct C-minimal structures which are not strongly C-minimal.

==Example==

== Example ==

For a [[prime number]] ''p'' and a [[p-adic number|''p''-adic number]] ''a'' let |''a''|_''p'' denote its ''p''-adic norm. Then the relation defined by <math>C(a;bc) \iff |b-c|_p < |a-c|_p</math> is a ''C''-relation, and the theory of '''Q'''_''p'' is C-minimal with respect to this relation.

For a [[prime number]] ''p'' and a [[p-adic number|''p''-adic number]] ''a'', let {{abs|''a''|}}_''p'' denote its ''p''-adic normabsolute value. Then the relation defined by <math>C(a;bc b, c) \iff |b-c|_p < |a-c|_p</math> is a ''C''-relation, and the theory of '''Q'''_''p'' with addition and this relation is C-minimal. withThe respecttheory toof this'''Q'''_''p'' relationas a field, however, is not C-minimal.

==References==

== References ==

* {{Citation | last1=Macpherson | first1=Dugald | author1-link=Dugald Macpherson | last2=Steinhorn | first2=Charles | title=On variants of o-minimality | doi=10.1016/0168-0072(95)00037-2 | year=1996 | journal=Annals of Pure and Applied Logic | volume=79 | pages=165–209}}

* {{Citation | last1=Haskell | first1=Deirdre | last2=Macpherson | first2=Dugald | author2-link=Dugald Macpherson | title=Cell decompositions of C-minimal structures | year=1994 | journal=Annals of Pure and Applied Logic | volume=66 | pages=113–162}}

* {{Citationcitation | last1=Macpherson | first1=Dugald | author1-link=Dugald Macpherson | last2=Steinhorn | first2=Charles | title=On variants of o-minimality | doi=10.1016/0168-0072(95)00037-2 | year=1996 | journal=Annals of Pure and Applied Logic | volume=79 | pages=165–209 | issue=2| doi-access= }}

[[Category:Model theory]]

* {{Citationcitation | last1=Haskell | first1=Deirdre | last2=Macpherson | first2=Dugald | author2-link=Dugald Macpherson | title=Cell decompositions of C-minimal structures | year=1994 | journal=Annals of Pure and Applied Logic | volume=66 | pages=113–162 | doi=10.1016/0168-0072(94)90064-7 | issue=2| doi-access= }}

{{Mathematical logic}}

{{mathlogic-stub}}

[[Category:Model theory]]