Elementary equivalence of free groups

Solution 1:

Yes they are. This is know as the Tarski Problem, and was recently solved by Sela and Kharlampovich-Myasnikov. The solution however is very difficult and spans more than 100 pages. Sela's approach at least uses sophisticated ideas from geometric group theory.

simple geometry question- equation of cylinder

Visual Studio Code: run Python file with arguments

Computer software for solving mixed strategy Nash equilibrium

Should I be afraid of using known identities that I can't prove?

Prove $1.43 < \int_0^1 e^{x^2}\,\mathrm{d}x < \frac{e+1}{2}$

Proving if A and B are matrices such that A, B, and AB are normal, then BA is also normal.

The number of the circles which are tangent to two circles and to a line

Why is PartialFunction <: Function in Scala?

Integrate $\int_0^\infty \frac{dx}{(x^2+2x+12)^2}$ using residues

What is the difference between language of empty string and empty set language?

Find $ \sin \left( \theta _{1}\right) ^{2}+ \sin \left( \theta _{2}\right) ^{2}+ \sin \left( \theta _{3}\right) ^{2}=? $

Conditional expectation with respect to a $\sigma$-algebra