P≠ _NP_ for all infinite Boolean algebras

Mathematical Logic Quarterly 49 (2):210-213 (2003)
  Copy   BIBTEX

Abstract

We prove that all infinite Boolean rings (algebras) have the property P ≠ NP according to the digital (binary) nondeterminism.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200310020

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

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

Through your library

My notes

Similar books and articles

P ≠ NP for all infinite Boolean algebras.Mihai Prunescu - 2003 - Mathematical Logic Quarterly 49 (2):210-213.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Diophantine properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Review: H. Gaifman, Infinite Boolean Polynomials I; A. W. Hales, On the Non-Existence of Free Complete Boolean Algebras. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140 - 162.
Review: Alexander Abian, Boolean Rings. [REVIEW]R. S. Pierce - 1977 - Journal of Symbolic Logic 42 (4):588-589.
Categoricity of denumerable atomless Boolean rings.Alexander Abian - 1972 - Studia Logica 30 (1):63 - 68.
Commutative regular rings and Boolean-valued fields.Kay Smith - 1984 - Journal of Symbolic Logic 49 (1):281-297.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
- M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):123-124.

Analytics

Added to PP
2014-03-23

Downloads
4 (#1,611,191)

6 months
4 (#787,091)

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

Theorie Der Numerierungen III.Ju L. Erš - 1976 - Mathematical Logic Quarterly 23 (19‐24):289-371.
Theorie Der Numerierungen III.Ju L. Erš - 1977 - Mathematical Logic Quarterly 23 (19-24):289-371.
Accessible telephone directories.John B. Goode - 1994 - Journal of Symbolic Logic 59 (1):92-105.

Add more references