С-минимальная теория
-
Определение C-минимальной теории
- C-минимальная теория является «минимальной» по отношению к троичному отношению C с определенными свойствами.
- Алгебраически замкнутые поля с оценкой являются важным примером C-минимальных теорий.
-
Свойства C-отношения
- C-отношение удовлетворяет аксиомам, которые включают транзитивность и существование логического отрицания.
- C-минимальная структура определяется как структура M, в которой каждый набор элементов является логической комбинацией экземпляров C.
-
Примеры C-минимальных структур
- Пример с простым числом p и p-адическим числом a показывает, как отношение C(a; b, c) может быть определено и как теория Qp с этим отношением является C-минимальной.
- Теория Qp как поля не является C-минимальной.
-
Рекомендации по цитированию
- Приведены инструкции по цитированию и форматированию библиографических описаний в HTML.