Modified realizability and predicate logic

被引：0
|
作者：
V. E. Plisko
机构：
[1] Moscow State University,M. V. Lomonosov
来源：
Mathematical Notes | 1997年 / 61卷
关键词：
modified realizability; arithmetic in all finite types; constructive logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered. For a number of natural constructive interpretations, the corresponding predicate logic of modified realizability is proved to be nonarithmetical.
引用
收藏
页码：212 / 220
页数：8
相关论文
共 50 条
12345