Δ10 variants of the law of excluded middle and related principles

被引：0
|
作者：
Fujiwara, Makoto [1 ]
机构：
[1] Meiji Univ, Sch Sci & Technol, Tama Ku, 1-1-1 Higashi Mita, Kawasaki, Kanagawa 2148571, Japan
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2022年 / 61卷 / 7-8期
关键词：
Delta(0)(1); Weak logical principle; Intuitionistic arithmetic and analysis; Extended frame;
D O I：
10.1007/s00153-022-00827-5
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We systematically study the interrelations between all possible variations of Delta(0 )(1)variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.
引用
收藏
页码：1113 / 1127
页数：15
相关论文
共 50 条
12345