Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations

Mathematical Logic Quarterly 16 (3):263-264 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19700160306

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Alexander Abian. On the solvability of infinite systems of Boolean polynomial equations. Colloquium mathematicum, vol. 21 , pp. 27–30. - Alexander Abian. Generalized completeness theorem and solvability of systems of Boolean polynomial equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 , pp. 263–264. - Paul D. Bacsich. Injectivity in model theory. Colloquium mathematicum, vol. 25 , pp. 165–176. - S. Bulman-Fleming. On equationally compact semilattices. Algebra universalis , vol. 2 no. 2 , pp. 146–151. - G. Grätzer and H. Lakser. Equationally compact semilattices. Colloquium mathematicum, vol. 20 , pp. 27–30. - David K. Haley. On compact commutative Noetherian rings. Mathematische Annalen, vol. 189 , pp. 272–274. - Ralph McKenzie. ℵ1-incompactness of Z. Colloquium mathematicum, vol. 23 , pp. 199–202. - Jan Mycielski. Some compactifications of general algebras. Colloquium mathematicum, vol. 13 no. 1 , pp. 1–9. See Errata on page 281 of next paper. - Jan. [REVIEW]Walter Taylor - 1975 - Journal of Symbolic Logic 40 (1):88-92.
On the Solvability of Infinite Systems of Boolean Polynomial Equations.Alexander Abian, Paul D. Bacsich, S. Bulman-Fleming & H. Lakser - 1975 - Journal of Symbolic Logic 40 (1):88-92.
Rado's theorem and solvability of systems of equations.Alexander Abian - 1973 - Notre Dame Journal of Formal Logic 14 (2):145-150.
Review: Alexander Abian, Boolean Rings. [REVIEW]R. S. Pierce - 1977 - Journal of Symbolic Logic 42 (4):588-589.
Alexander Abian. Boolean rings. Branden Press Publishers, Boston1976, ix + 394 pp. [REVIEW]R. S. Pierce - 1977 - Journal of Symbolic Logic 42 (4):588-589.
A Class Of Polynomial Equations In A Single Ordinal Variable.John Hickman - 1980 - Mathematical Logic Quarterly 26 (28-30):477-479.
Circuit Synthesis by Solving Sequential Boolean Equations.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14‐24):291-322.
On vector spaces over specific fields without choice.Paul Howard & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (3):128-146.
Circuit Synthesis by Solving Sequential Boolean Equations.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14-24):291-322.
A Non‐Boolean Version of Feferman‐Vaught's Theorem.R. Lavendhomme & Th Lucas - 1985 - Mathematical Logic Quarterly 31 (19‐20):299-308.

Analytics

Added to PP
2013-11-24

Downloads
21 (#727,311)

6 months
1 (#1,721,226)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Satisfiability on hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.
On vector spaces over specific fields without choice.Paul Howard & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (3):128-146.

Add more citations

References found in this work

No references found.

Add more references