Publication Details:
Journal or Publication Title:
Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Title:
A Note on Omitting Types in Propositional Logic
Creator:
Contributor(s):
Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Subject:
Mathematical logic and foundations
Uncontrolled Keywords:
Omitting type ; propositional logic
Coverage:
Abstract:
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.
Publisher:
National Academy of Sciences of Armenia
Date created:
Type:
Format:
General note:
Electronic Open Access Publication of the National Academy of Sciences of Armenia
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան