Talk:Herbrand's theorem

From Wikipedia, the free encyclopedia

This needs to be fixed, Herbrand's theorem states that if a set of formulas has a model, then it has a term model. What is currently mentioned is Skolemization, which is a step in showing Herbrand's theorem...

Prenex Form is also not needed for Herbrand's theorem... —Preceding unsigned comment added by Ceilican (talk • contribs) 11:55, 6 February 2008 (UTC)

[edit] mergefrom Herbrand theory

Suggested merge: The Herbrand theory page does not seem to say anything much more than this page, thus I suggest a merge. But perhaps there is more to the theory than this individual theorem? I don't know ... linas (talk) 23:13, 4 June 2008 (UTC)