Theories with the independence property

Research output: Contribution to JournalArticleAcademicpeer-review

59 Downloads (Pure)

Abstract

A first-order theory T has the Independence Property provided T ⊢ (Q)(Φ⇒Φ
Original languageEnglish
Pages (from-to)379-405
Number of pages27
JournalStudia logica
Volume95
DOIs
Publication statusPublished - 2010

Fingerprint

Dive into the research topics of 'Theories with the independence property'. Together they form a unique fingerprint.

Cite this