eine Theorie T heißt konvex,
wenn für jede Formel
,
Zahl n, Variablen
x1,..., xn, y1,..., yn:
- aus
T
(
(x1 = y1)
...
(xn = yn))
- folgt: es gibt ein i mit
T
(
(xi = yi))
konvex oder nicht?
- lineare Arithmetik über
- lineare Arithmetik über
- Konjunktionen von (Un)gleichungen
2009-06-22