Конструктивный анализ

• Вещественные числа являются упорядоченным полем с аксиомами полноты и локализации. 
• Отношение «≥» может быть определено или доказано эквивалентным логически отрицательному утверждению. 
• Нестрогий частичный порядок может быть определен или доказан эквивалентным логически отрицательному утверждению. 
• Требование наличия хорошего порядка подразумевает PEM. 
• Рациональные последовательности могут быть идентифицированы с энергонезависимыми последовательностями в QN. 
• Определение в терминах последовательностей позволяет определить строгий порядок и взаимосвязи между отношениями. 
• Модули могут быть определены для вещественных чисел, что позволяет определить сходимость Коши и пределы последовательностей. 
• Формализация епископа доказывает теоремы для последовательностей рациональных чисел, выполняя условие регулярности. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.