Cтраница 1
Доказательство аналогичного утверждения при наличии перекрывающихся расходящихся подграфов, как например в диаграмме на рис. 11 более сложно и мы не будем его здесь приводить. [1]
Доказательство аналогичного утверждения для частного случая задачи ( а; 1, i 1, п), которое приводят X. [2]
Доказательство подобно доказательству аналогичного утверждения в § 13 ( стр. [3]
Доказательство подобно доказательству аналогичных утверждений VII, 7 7 и IX, 8.4 для классических и интуиционистских теорий. [4]
Доказательство подобно доказательству аналогичных утверждений VII, 7.8 и IX, 8.5 для классических и интуиционистских теорий. [5]
Доказательство подобно доказательству аналогичного утверждения X, 3.7 для интуиционистских теорий. [6]
Доказательство подобно доказательству аналогичных утверждений VII, 7.7 и IX, 8.4 для классических и интуиционистских теорий. В силу III, 4.3 существует топологический изоморфизм / I алгебры Д в % ( Х) для некоторого топологического пространства X. То, что ( IV) влечет ( 1), доказывается точно так же, как в случае классических или интуиционистских теорий. [7]
Доказательство подобно доказательству аналогичных утверждений VII, 7.8 и IX, 8.5 для классических и интуиционистских теорий. [8]
Доказательство подобно доказательству аналогичного утверждения X, 3.7 для интуиционистских теорий. [9]
Предложенное доказательство является упрощением доказательства аналогичного утверждения из работ Тетенова [ 3, лемма 3; 4, лемма 3.2.3 ], использовавших более громоздкую технику. Это же относится и к доказательству следующей леммы ( ср. [10]
Доказательство этого факта дословно повторяет доказательство аналогичного утверждения из га 2 § 3 работы [4], и мы его опускаем. [11]
Доказательство этого утверждения сводится к доказательству аналогичного утверждения о некоммутативных локальных кольцах. [12]
Если это вызывает затруднения, то доказательство аналогичного утверждения читатель найдет в гл. [13]
Доказательство ( на основе 10.3) подобно доказательству аналогичного утверждения 8.4 для модальных теорий нулевого порядка. [14]
Доказательство ( на основе 10.3) подобно доказательству аналогичного утверждения 8.4 для модальных теории нулевого порядка. [15]