The Problem of Solvability of Equations in a Free Semigroup

Journal of Symbolic Logic 51 (4):1070-1071 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273922

Links

PhilArchive



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

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

Review: G. S. Makanin, The Problem of Solvability of Equations in a Free Semigroup. [REVIEW]J. L. Britton - 1986 - Journal of Symbolic Logic 51 (4):1070-1071.
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Reflecting on the 3x+1 Mystery. Outline of a Scenario - Improbable or Realistic ?Edward G. Belaga - manuscript
Soft ordered semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
Rado's theorem and solvability of systems of equations.Alexander Abian - 1973 - Notre Dame Journal of Formal Logic 14 (2):145-150.
Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations.Alexander Abian - 1970 - Mathematical Logic Quarterly 16 (3):263-264.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Equations in a Free Group.G. S. Makanin - 1986 - Journal of Symbolic Logic 51 (4):1071-1073.
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.
Second order parabolic equations and weak uniqueness of diffusions with discontinuous coefficients.Doyoon Kim - 2006 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 5 (1):55-76.
Review: G. S. Makanin, Equations in a Free Group. [REVIEW]J. L. Britton - 1986 - Journal of Symbolic Logic 51 (4):1071-1073.
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation.Edmond W. H. Lee - 2013 - Studia Logica 101 (1):95-115.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,224,450)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references