Cтраница 4
Теоремы 12.4 - 12.9 аналогичны теоремам, установленным Ра се вой [4] для элементарных интуиционистских теорий. [46]
Доказательство подобно доказательству аналогичных утверждений VII, 7.7 и IX, 8.4 для классических и интуиционистских теорий. В силу III, 4.3 существует топологический изоморфизм / I алгебры Д в % ( Х) для некоторого топологического пространства X. То, что ( IV) влечет ( 1), доказывается точно так же, как в случае классических или интуиционистских теорий. [47]
Доказательство подобно доказательству аналогичных утверждений VII, 7.8 и IX, 8.5 для классических и интуиционистских теорий. [48]
Полнота интуиционистского исчисления предикатов зависит от семантических принципов, которые лежат в основе рассматриваемой интуиционистской теории. [49]