Հրապարակման մանրամասներ:
Ամսագրի կամ հրապարակման վերնագիր:
Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Վերնագիր:
A Note on Omitting Types in Propositional Logic
Ստեղծողը:
Աջակից(ներ):
Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Խորագիր:
Mathematical logic and foundations
Չվերահսկվող բանալի բառեր:
Omitting type ; propositional logic
Ծածկույթ:
Ամփոփում:
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.
Հրատարակիչ:
National Academy of Sciences of Armenia
Ստեղծման ամսաթիվը:
Տեսակ:
Ձևաչափ:
Գլխավոր նշում:
Electronic Open Access Publication of the National Academy of Sciences of Armenia
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան