Journal of Symbolic Logic

The $\tau$-Theory for Free Groups Is Undecidable

Libo Lo

Abstract

In this paper we give short proofs to the undecidability of the $\tau$-theory for free groups and other relevant theories.

Article information

Source
J. Symbolic Logic, Volume 48, Issue 3 (1983), 700-703.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183741329

Mathematical Reviews number (MathSciNet)
MR716631

Zentralblatt MATH identifier
0527.03021

JSTOR
Lo, Libo. The $\tau$-Theory for Free Groups Is Undecidable. J. Symbolic Logic 48 (1983), no. 3, 700--703. https://projecteuclid.org/euclid.jsl/1183741329