Absolute L-Realizability and Intuitionistic Logic

被引：4

作者：

Konovalov, A. Yu ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119991, Russia

来源：

MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2019年 / 74卷 / 02期

关键词：

D O I：

10.3103/S0027132219020086

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

An absolute L-realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.

引用

页码：79 / 82

页数：4