Cтраница 1
Интуиционистская теория 9 - У, , будет простой в том и только в тОд ( случае, когда фильтр У, прост. [1]
Интуиционистская теория называется конструктивной, если она одновременно является и сильно простой теорией и - теорией, Из теорем 8.1 и 8.2 следует, например, что интуиционистское предикатное исчисление ( интерпретируемое как теория с пу стым множеством аксиом) является конструктивной теорией. [2]
Интуиционистская теория У о, 4, з4 нулевого порядка проста в том и только в том случае, когда фильтр Чл в И ( 0 [) ( см. § 10) прост. [3]
Интуиционистская теория называется конструктивной, если она одновременно является и сильно Простой теорией и ( J - теорией. Из теорем 8.1 и 8.2 следует, например, что интуиционистское предикатное исчисление ( интерпретируемое как теория с пустым множеством аксиом) является конструктивной теорией. [4]
Интуиционистская теория & - ( &0, &i, sf нулевого порядка проста в том и только в том случае, когда фильтр V в 91 ( 0 [) ( см. § 10) прост. [5]
Интуиционистская теория ЗГ 2 &1, будет сильно простой в том и только в го случае, когда f - фильтр V прост. [6]
Если интуиционистская теория - имеет модель R в невырожденной псевдобулевой алгебре, то 3 - непротиворечива. [7]
Если интуиционистская теория 3 - имеет модель К в невырожденной псевдобулевой алгебре, то 3 - непротиворечива. [8]
Каждая максимальная интуиционистская теория проста. [9]
Каждая непротиворечивая интуиционистская теория может быть расширена до некоторой простой теории. [10]
Каждая максимальная интуиционистская теория проста. [11]
Каждая непротиворечивая интуиционистская теория может быть расширена до простой теории. [12]
Каждая максимальная интуиционистская теория проста. [13]
Каждая непротиворечивая интуиционистская теория может быть расширена до простой теории. [14]
Каждая максимальная интуиционистская теория проста. [15]