Completeness by forcing

Daniel Gǎiň, Marius Petria

研究成果: Contribution to journalArticle査読

11 被引用数 (Scopus)

抄録

The completeness of the infinitary language ℒ ω1,ω was proved by Carol Karp in 1964.We express and prove the completeness of infinitary first-order logics in the institution-independent setting by using forcing, a powerful method for constructing models. As a consequence of this abstraction, the completeness theorem becomes available for the infinitary versions of many 'first order' logical systems that appear in the area of logic or computer science.

本文言語英語
ページ(範囲)1165-1186
ページ数22
ジャーナルJournal of Logic and Computation
20
6
DOI
出版ステータス出版済み - 12 1 2010
外部発表はい

All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • 理論的コンピュータサイエンス
  • 人文科学(その他)
  • ハードウェアとアーキテクチャ
  • 論理

フィンガープリント

「Completeness by forcing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル