Definability and fast quantifier elimination in algebraically closed fields
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Zürich
1982
|
| Schlagworte: |
ALGEBRAIC GEOMETRY
> ALGEBRAISCHE GEOMETRIE
> ALLGEMEINE KÖRPERTHEORIE (ALGEBRA)
> DECISION PROBLEMS (MATHEMATICAL LOGIC)
> ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
> GENERAL FIELD THEORY (ALGEBRA)
> GÉOMÉTRIE ALGÉBRIQUE
> LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC)
> LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK)
> PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE)
> THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE)
> THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE)
> Quantorenelimination
> Algebraisch abgeschlossener Körper
> Hochschulschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Zürich, Univ., Diss., 1982 |
|---|---|
| Beschreibung: | 52 S. |