Ցույց տուր կառուցվածքը

Հրապարակման մանրամասներ:

Established in 2008

Ամսագրի կամ հրապարակման վերնագիր:

Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես

Հրապարակման ամսաթիվ:

2015

Հատոր:

7

Համար:

1

ISSN:

1829-1163

Պաշտոնական URL:


Վերնագիր:

A Note on Omitting Types in Propositional Logic

Ստեղծողը:

Oren Kolman

Աջակից(ներ):

Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան

Խորագիր:

Mathematical logic and foundations

Չվերահսկվող բանալի բառեր:

Omitting type ; propositional logic

Ծածկույթ:

1-5

Ամփոփում:

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

Ստեղծման ամսաթիվը:

2015-05-25

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Գլխավոր նշում:

Electronic Open Access Publication of the National Academy of Sciences of Armenia

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան