Armenian Journal of Mathematics, 7(1)
2015; 1–5
Shared with The Gufo

A Note on Omitting Types inPropositional Logic

Oren Kolman*

Received: 2024-12-19 · Published: 2015-12-10

© 2015 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
A Note on Omitting Types inPropositional Logic
Author
Oren Kolman
Source journal
Armenian Journal of Mathematics, 7(1)
Published
2015-12-10
Licence
Creative Commons Attribution 4.0 International
Original
https://armjmath.sci.am/index.php/ajm/article/view/107

Abstract

Analogues of the classical omitting types theoremsof first-order logic are proved for propositional logic. For aninfinite cardinalκ, a sufficient criterion is given for the omissionofκ-many types in a propositional language withκpropositionalvariables.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates