|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 5 gevonden artikelen
| Titel: |
Talking about free groups in naturally enriched languages |
| Auteur: |
Huber-Dyson, Verena |
| Verschenen in: |
Communications in algebra |
| Paginering: | Jaargang 5 (1977) nr. 11 pagina's 1163-1191 |
| Jaar: |
1977 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 5 gevonden artikelen
| << vorige | volgende >> |