Реальное замкнутое поле
- Реальные замкнутые поля являются обобщением вещественных чисел и имеют двойную экспоненциальную сложность.
- Архимедово свойство является важным свойством вещественных замкнутых полей.
- Реальные замкнутые поля обладают различными инвариантами, такими как мощность, соподчиненность и вес.
- Гипотеза обобщенного континуума упрощает характеристики реальных замкнутых полей.
- Элементарная евклидова геометрия может быть сформулирована с использованием аксиом Тарского.
- Реальные замкнутые поля могут быть использованы для доказательства полноты и разрешимости элементарной теории евклидовой геометрии.
Полный текст статьи: