Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic

Bulletin of Symbolic Logic 21 (2):164-187 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
In memoriam: Ruth Barcan Marcus 1921-2012.Timothy Williamson - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
On The Decision Problem For Two-variable First-order Logic, By, Pages 53 -- 69.Erich Gr\"Adel, Phokion Kolaitis & Moshe Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
In Memoriam: Hao Wang 1921–1995.Charles Parsons - 1996 - Bulletin of Symbolic Logic 2 (1):108-111.
Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 , pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 , pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 , pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin. [REVIEW]Aleš Drápal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.
Paul Erdőos, Vance Faber, and Jean Larson Sets of natural numbers of positive density and cylindric set algebras of dimension 2. Algebra universalis, vol. 12 , pp. 81–92. - Jean A. Larson The number of one-generated diagonal-free cylindric set algebras of finite dimension greater than two. Algebra universalis, vol. 16 , pp. 1–16. - Jean A. Larson The number of finitely generated infinite cylindric set algebras of dimension two. Algebra universalis, vol. 19 , pp. 377–396. - Jean A. Larson The number of one-generated cylindric set algebras of dimension greater than two. The journal of symbolic logic, vol. 50 , pp. 59–71. [REVIEW]R. D. Maddux - 2001 - Bulletin of Symbolic Logic 7 (2):281-283.
The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.

Analytics

Added to PP
2015-08-25

Downloads
20 (#1,039,559)

6 months
3 (#1,470,638)

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

No references found.

Add more references