Նիւթ
Վերնագիր: 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 |
