| 
Preprints
Detailansicht
| Nummer | 2280 |
|---|---|
| Autor | Holzer,Richard |
| Titel | Describing fields by implications between strong equations |
| Upload | 11.6.2003 |
| MSC | 08A55 12E99 |
| Schlüsselwörter | partial algebra,field,strong equation,quasi variety |
Abstract:
In this note it will be shown that the class of all fields can be described by implications between strong equations. The signature is extended by the logical Craig projection to get more expressive power for the strong equations.
Datei:
2280.ps.gz
Verantwortliche Autorin: Ute Fahrholz
Kontakt
Fachbereich Mathematik
Technische Universität Darmstadt
Schlossgartenstraße 7
64289 Darmstadt
Drucken
Impressum
Kontakt
