Object structure

Publication Details:

Established in 2008

Journal or Publication Title:

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

Date of publication:

2015

Volume:

7

Number:

1

ISSN:

1829-1163

Official URL:


Title:

A Note on Omitting Types in Propositional Logic

Creator:

Oren Kolman

Contributor(s):

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

Subject:

Mathematical logic and foundations

Uncontrolled Keywords:

Omitting type ; propositional logic

Coverage:

1-5

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:

2015-05-25

Type:

Հոդված

Format:

pdf

General note:

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

Digitization:

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

Location of original object:

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