抄録
We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
| 元の言語 | English |
|---|---|
| ページ（範囲） | 861-870 |
| ページ数 | 10 |
| ジャーナル | Archive for Mathematical Logic |
| 巻 | 54 |
| 発行部数 | 7-8 |
| DOI | |
| 出版物ステータス | Published - 2015 9 8 |
| 外部発表 | Yes |
Fingerprint
ASJC Scopus subject areas
- Logic
- Philosophy
これを引用
Some principles weaker than Markov’s principle. / Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako.
：: Archive for Mathematical Logic, 巻 54, 番号 7-8, 08.09.2015, p. 861-870.研究成果: Article
}
TY - JOUR
T1 - Some principles weaker than Markov’s principle
AU - Fujiwara, Makoto
AU - Ishihara, Hajime
AU - Nemoto, Takako
PY - 2015/9/8
Y1 - 2015/9/8
N2 - We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
AB - We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
KW - Church’s thesis
KW - Disjunctive Markov’s principle
KW - Independence of premiss schema
KW - Markov’s principle
KW - Weak Markov’s principle
UR - http://www.scopus.com/inward/record.url?scp=84945440411&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84945440411&partnerID=8YFLogxK
U2 - 10.1007/s00153-015-0444-9
DO - 10.1007/s00153-015-0444-9
M3 - Article
AN - SCOPUS:84945440411
VL - 54
SP - 861
EP - 870
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
SN - 0933-5846
IS - 7-8
ER -