Reverse mathematics and completeness theorems for intuitionistic logic

研究成果: Article査読

抄録

In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that ACA0 is equivalent over RCA0 to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.

本文言語English
ページ(範囲)143-148
ページ数6
ジャーナルNotre Dame Journal of Formal Logic
42
3
DOI
出版ステータスPublished - 2001
外部発表はい

ASJC Scopus subject areas

  • 論理

フィンガープリント

「Reverse mathematics and completeness theorems for intuitionistic logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル