Some principles weaker than Markov’s principle

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto

研究成果: Article

4 引用 (Scopus)

抜粋

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

    フィンガープリント

ASJC Scopus subject areas

  • Logic
  • Philosophy

これを引用