C-minimal theory: Difference between revisions

Revision as of 17:09, 28 November 2023

Latest revision as of 21:56, 6 March 2025

Line 1:

In [[model theory]], a branch of [[mathematical logic]], a '''C-minimal theory''' is a theory that is "minimal" with respect to a [[Triadic relation|ternary relation]] ''C'' with certain properties. [[Algebraically closed fieldsfield]]s with a (Krull) [[valuation (algebra)|valuation]] 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.