Օբյեկտ
Վերնագիր: A Note on Omitting Types in Propositional Logic
Հրապարակման մանրամասներ:
Ամսագրի կամ հրապարակման վերնագիր:
Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Աջակից(ներ):
Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Ծածկույթ:
Ամփոփում:
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
Ստեղծման ամսաթիվը:
Ձևաչափ:
Նույնացուցիչ:
oai:arar.sci.am:13278
Գլխավոր նշում:
Electronic Open Access Publication of the National Academy of Sciences of Armenia
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Բնօրինակի գտնվելու վայրը:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Օբյեկտի հավաքածուներ:
Վերջին անգամ ձևափոխված:
Apr 19, 2024
Մեր գրադարանում է սկսած:
Feb 12, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
40
Օբյեկտի բոլոր հասանելի տարբերակները:
https://arar.sci.am/publication/15004
Ցույց տուր նկարագրությունը RDF ձևաչափով:
Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։
-
Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես
-
Armenian Journal of Mathematics, 2008, Volume 1
-
Armenian Journal of Mathematics, 2009, Volume 2
-
Armenian Journal of Mathematics, 2010, Volume 3
-
Armenian Journal of Mathematics, 2012, Volume 4
-
Armenian Journal of Mathematics, 2013, Volume 5
-
Armenian Journal of Mathematics, 2014, Volume 6
-
Armenian Journal of Mathematics, 2015, Volume 7
-
Armenian Journal of Mathematics, 2015, vol. 7, Issue 1
- A Note on Omitting Types in Propositional Logic
- Operator $\Box^{r}$ on a submanifold of Riemannian manifold and its applications
- A Finite Difference Method for Two-Phase Parabolic Obstacle-like Problem
- On the structure of $C^*$-algebra generated by a family of partial isometries and multipliers
- On Approximation of the BSDE with Unknown Volatility in Forward Equation
- Asymptotic Estimates for Quasi-Periodic Type Interpolations
-
Armenian Journal of Mathematics, 2015, vol. 7, Issue 2
-
Armenian Journal of Mathematics, 2015, vol. 7, Issue 1
-
Armenian Journal of Mathematics, 2016, Volume 8
-
Armenian Journal of Mathematics, 2017, Volume 9
-
Armenian Journal of Mathematics, 2018, Volume 10
-
Armenian Journal of Mathematics, 2019, Volume 11
-
Armenian Journal of Mathematics, 2020, Volume 12
-
Armenian Journal of Mathematics, 2021, Volume 13
-
Armenian Journal of Mathematics, 2022, Volume 14
-
Armenian Journal of Mathematics, 2023, Volume 15
-
Armenian Journal of Mathematics, 2024, Volume 16
-
Armenian Journal of Mathematics, 2008, Volume 1
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| A Note on Omitting Types in Propositional Logic | Apr 19, 2024 |
