Diskussion:Satz von Herbrand

Herbrand-Theorie

Wo wird der Satz von Herbrand als "Herbrand-Theorie" bezeichnet, wie im Artikel behauptet? --Wuzel 16:29, 16. Mär. 2008 (CET)

Weiß ich nicht, deshalb habe ich es mal entfernt. Ich kenne mich ja nicht in diesem Bereich aus, aber ich könnte mir durchaus vorstellen, dass das ein Missverständnis war. Auf eine kurze Google-Suche nach "Herbrand-Theorie" habe ich wenige Ergebnisse erhalten und viele waren gespiegelte / kopierte Wiki-Artikel. --MartinThoma 20:00, 11. Sep. 2011 (CEST)

Möglicherweise eine Fehlübersetzung des englischen Ausdrucks Herbrand’s theorem. --85.176.230.191 12:06, 7. Feb. 2015 (CET)

Herbrand-Modell

Im Artikel steht:

Eine geschlossene Formel ist genau dann erfüllbar, wenn sie ein Herbrand-Modell besitzt

Was ist ein Herbrand-Modell?

Viele Grüße, --Martin Thoma 12:26, 28. Feb. 2015 (CET)

Der Satz ist ohnehin falsch:

$\forall x\forall y(f(x)=y)$ ist erfüllbar, aber hat kein Herbrand-Modell!

(nicht signierter Beitrag von 176.198.252.71 (Diskussion) 01:52, 1. Apr. 2015 (CEST))