A Note on Omitting Types in Propositional Logic

Հեղինակներ

  • Oren Kolman Department of Pure Mathematics and Mathematical Statistics, University of Cambridge Wilberforce Road, Cambridge, CB3 0WB, England

Ամփոփում

Analogues of the classical omitting types theorems of first-order logic are proved for propositional logic. For an infinite cardinal $\kappa$, a sufficient criterion is given for the omission of $\kappa$-many types in a propositional language with $\kappa$ propositional variables.

Ներբեռնումներ

Ներբեռնման տվյալները դեռ հասանելի չեն:

Ներբեռնումներ

Հրատարակվել է

2015-05-27

Թողարկում

Հտ․ 7 No. 1 (2015)

Բաժին

Articles

Ինչպես մեջբերել

[1]
O. Kolman, “A Note on Omitting Types in Propositional Logic”, Armen.J.Math., vol. 7, no. 1, pp. 1–5, May 2015, Accessed: May 09, 2026. [Online]. Available: http://test.armjmath.sci.am/index.php/ajm/article/view/107