2-CNFS and Logical Embeddings

Studia Logica 93 (1):15-19 (2009)
  Copy   BIBTEX

Abstract

The expressive power of 2-cnfs, conjunctive normal forms with two literals per clause, is shown to be severely limited compared to 3-cnfs.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
Turing computable embeddings.F. Knight Julia, Miller Sara & M. Vanden Boom - 2007 - Journal of Symbolic Logic 72 (3):901-918.
Generic embeddings associated to an indestructibly weakly compact cardinal.Gunter Fuchs - 2010 - Annals of Pure and Applied Logic 162 (1):89-105.
Reflections on “difficult” embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
Critical points in an algebra of elementary embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
Implications between strong large cardinal axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.

Analytics

Added to PP
2009-09-21

Downloads
30 (#391,653)

6 months
2 (#299,675)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Two hypergraph theorems equivalent to ${\rm BPI}$.Robert H. Cowen - 1990 - Notre Dame Journal of Formal Logic 31 (2):232-240.
Two Hypergrαph Theorems Equivalent toBPI.Robert H. Cowen - 1990 - Notre Dame Journal of Formal Logic 31 (2):232-240.

Add more references