|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 4 of 5 found articles
| Title: |
Talking about free groups in naturally enriched languages |
| Author: |
Huber-Dyson, Verena |
| Appeared in: |
Communications in algebra |
| Paging: | Volume 5 (1977) nr. 11 pages 1163-1191 |
| Year: |
1977 |
| Contents: |
The elementary theory of a non-commutative free group with a predicate for equality of length is proved hereditarily undecidable. This theory is shown to be 'finitely axiomatizable' modulo the second order stipulation that some centralizer be free cyclic. The theory of free groups in a weaker language using only a predecessor concept is investigated in the hope of shedding some light on Tarski's problems. |
| Publisher: |
Taylor & Francis |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 4 of 5 found articles
| << previous | next >> |