OpenLLM-France/wikimedia huggingface dataset:
# Gerhard Schmidt (Politiker, 1919)

Gerhard Schmidt (* 15. September 1919 in Berlin; † 25. November 1984 in Kaarst, Regierungsbezirk Düsseldorf) war ein deutscher Politiker (SPD).
Gerhard Schmidt war ein Sohn eines Reichsbahnarbeiters und besuchte eine Volksschule in Berlin-Schöneberg. Durch das sozialdemokratische Elternhaus geprägt trat er 1928 den „Kinderfreunden“ und den „Falken“ bei. 1930 wechselte er zur Karl-Marx-Schule in Berlin-Neukölln, die er 1936 mit der Obersekundareife abschloss. Schmidt machte eine kaufmännische Lehre bei einer Bienenhonigfirma, wo er später auch arbeitete. Da sein Vater im September 1939 inhaftiert wurde, besuchte er ihn mehrfach im KZ Sachsenhausen. 1940 wurde er von der Wehrmacht eingezogen und geriet in Afrika in amerikanischer Kriegsgefangenschaft.
Nach dem Zweiten Weltkrieg kehrte Schmidt im April 1947 nach Berlin zurück und trat der SPD bei. Er wurde beim Finanzamt Charlottenburg-West eingestellt und trat dem Freien Deutschen Gewerkschaftsbund (FDGB) bei. Ein Jahr später wechselte er zur Unabhängigen Gewerkschaftsopposition (UGO) und schließlich 1950 zur neugegründeten Gewerkschaft Öffentliche Dienste, Transport und Verkehr (ÖTV). Schmidt wurde Mitglied des Hauptbetriebsrats der Berliner Finanzämter, im Oktober 1952 wurde er hauptamtlich bei der ÖTV eingestellt. Bei der Berliner Wahl 1958 wurde er im Wahlkreis Schöneberg 1 in das Abgeordnetenhaus von Berlin gewählt, bis März 1967 gehörte er dem Parlament an.
# Herbert Tropper

Herbert Tropper (* 21. Oktober 1931 in Himmelberg; † 25. Juli 2023 ebenda) war ein österreichischer Politiker der ÖVP, der in der Kärntner Landespolitik aktiv war.
Tropper war katholisch und promovierter Ingenieur.
Tropper war ab 1955 Feldkirchner Bezirksobmann des Bauernbundes und ca. 1970–1998 Finanzreferent des Kärntner Bauernbundes. Er gehörte dem Landtag von 1965 bis 1979 während der 22. Gesetzgebungsperiode (als Nachrücker), 23. Gesetzgebungsperiode und der 24. Gesetzgebungsperiode (zunächst als stellvertretender Klubobmann, später als Klubobmann) an. Als Abgeordneter war er ein maßgeblicher Lobbyist für die Gründung der ersten höheren Schulen in Feldkirchen in Kärnten: Einer HAK 1970 und eines BORG 1979.

## Belege

* ↑ Parten : Parten. In: bestattung.feldkirchen.at. Abgerufen am 3. August 2023.
* ↑ Traueranzeigen von Herbert Tropper – trauer.kleinezeitung.at. In: trauer.kleinezeitung.at. Abgerufen am 8. August 2023.
* 1 2 3 4 Traueranzeige der ÖVP auf S. 41 der Kleinen Zeitung vom 3. August 2023
* ↑ Pfarrblatt Nr. 459 der Pfarren Himmelberg und Außerteuchen. In: kath-kirche-kaernten.at. Abgerufen am 3. August 2023.
* ↑ GESCHICHTE - Kärntner Bauernbund. In: kaerntner-bauernbund.at. Abgerufen am 3. August 2023.
* ↑ Kalendarium der frühen Entwicklungsphasen der Feldkirchener Bundesschulen. In: hans-neuhold.at. Abgerufen am 3. August 2023.
# Hennum

Hennum ist der Familienname folgender Personen:
* Anders Hennum (* 1987), norwegischer Biathlet
* Harald Hennum (1928–1993), norwegischer Fußballspieler
# Hermann Beck

Hermann Beck ist der Name folgender Personen:
* Hermann Beck (Jurist) (1863–1923), deutscher Jurist und Richter
* Hermann Beck (Soziologe) (1879–nach 1919), deutscher Soziologe
* Hermann Beck (Musikwissenschaftler) (1929–1980), deutscher Musikwissenschaftler
* Hermann Beck (Historiker) (* 1955), deutscher Historiker; Inhaber des Lehrstuhls für Moderne Europäische Geschichte an der Universität Miami
* Hermann Georg Julius Beck (1849–1919), deutscher evangelischer Pfarrer, Theologe und Konsistorialrat
# Hermann Beckby

Hermann Beckby (* 13. Mai 1890 in Oberlahnstein; † 13. März 1980 in Diez) war ein deutscher Philologe und Lehrer.

## Leben

Er war der Sohn eines Tischlers und besuchte 1902 bis 1909 das Gymnasium in Oberlahnstein. Anschließend studierte er Klassische Philologie an der Universität Bonn. Anschließend war er als Lehrer in Kassel, Hersfeld, Hirschberg/Schlesien und Oels bei Breslau tätig. Nach 1945 kehrte er in seine Heimat zurück und unterrichtete bis zu seinem Ruhestand 1955 als Studienrat am Goethe-Gymnasium in Bad Ems.
Neben einigen altphilologischen Sachbüchern gab Beckby 1958 für Deutschland erstmals vollständig die Anthologia Graeca heraus.

## Veröffentlichungen (Auswahl)

* Oberlahnstein – Schicksal einer rheinischen Stadt. Oberlahnstein 1952.
* Anthologia Graeca. Band 1–2, 2. Auflage Heimeran, München 1965, Band 3–4 ebenda, 1958.
# Hercher

Hercher ist der Familienname folgender Personen:
* Christian Friedrich Hercher (1799–1858), deutscher Gutsbesitzer und Politiker
* Colette Hercher, deutsche Juristin und Präsidentin der Generalzolldirektion
* Günther Hercher (* 1927), deutscher Fußballspieler
* Johannes Carl Eduard Hercher (1800–1872), deutscher Politiker
* Karin Hercher (* 1939), deutsche Regisseurin
* Philipp Hercher (* 1996), deutscher Fußballspieler
* Rudolf Hercher (1821–1878), deutscher klassischer Philologe
* Wolfgang Hercher, deutscher Basketballspieler, -trainer und -schiedsrichter
# Herchies

Herchies ist eine französische Gemeinde mit 601 Einwohnern (Stand 1. Januar 2021) im Département Oise in der Region Hauts-de-France. Die Gemeinde liegt im Arrondissement Beauvais und ist Teil der Communauté d’agglomération du Beauvaisis und des Beauvais-1.

## Geographie

Die Gemeinde am rechten (westlichen) Ufer des Thérain mit den Ortsteilen Le Plouy Louvet und Le Manoir liegt rund neun Kilometer nordwestlich von Beauvais. Sie wird von der Bahnstrecke von Beauvais nach Le Tréport durchzogen, die hier einen Haltepunkt besitzt.

## Einwohner

Entwicklung der Einwohnerzahl :
| 1962 | 1968 | 1975 | 1982 | 1990 | 1999 | 2006 | 2011 |
| 329 | 388 | 441 | 481 | 545 | 598 | 619 | 620 |

## Verwaltung

Bürgermeister (maire) ist seit 2001 Jean-Charles Paillart.

## Sehenswürdigkeiten

* Kirche Saint-Martin
* Kriegerdenkmal
# Henry Paget, 4. Marquess of Anglesey

Henry Paget, 4. Marquess of Anglesey PC (* 25. Dezember 1835; † 13. Oktober 1898) war ein britischer Adliger.

## Leben

Henry Paget war der zweite Sohn von Henry Paget, 2. Marquess of Anglesey (1797–1869) und Enkel des Feldmarschalls Henry Paget (1768–1854), der für seinen Einsatz bei der Schlacht von Waterloo zum Marquess of Anglesey erhoben worden war. Die Mutter von Henry Paget war Henrietta Bagot, die zweite Ehefrau des 2. Marquess of Anglesey und vierte Tochter des Politikers und Diplomaten Charles Bagot. Als jüngerer Sohn eines Marquess führte er ab 1854 das Höflichkeitsprädikat Lord.
Henry Paget diente als Vizeadmiral von Nordwales und West Carmarthen und hatte das Amt eines stellvertretenden Lord Lieutenant (Deputy Lieutenant) inne. Daneben war er auch Mitglied im Privy Council. Aufgrund seiner Verdienste wurde er zum Ehrenoberst (Honorary Colonel) der Staffordshire Yeomanry (Queen’s Own Royal Regiment) und des zweiten Freiwilligenbataillons der Royal Welsh Fusiliers ernannt.
Henry Paget war dreimal verheiratet. Seine erste Frau Elizabeth Norman (1841–1873) heiratete er 1858. Die Ehe blieb kinderlos. Nach ihrem frühen Tod vermählte er sich bald darauf mit Blanche Mary Boyd († 1877). Sie heirateten 1874 in der britischen Botschaft in Paris und hatten einen Sohn, Henry Cyril Paget (1875–1905). Blanche beging zwei Jahre nach der Geburt ihres Kindes Selbstmord. 1880 heiratete Henry Paget seine dritte Ehefrau Mary Livingstone King († 1931). Die Trauung fand wieder in der britischen Botschaft in Paris statt. Auch diese Ehe blieb kinderlos, so dass der Sohn des Marquess ohne Geschwister aufwuchs.
1880 starb sein Halbbruder Henry William George Paget, 3. Marquess of Anglesey (1821–1880), der aus der ersten Ehe seines Vaters stammte. Da sein Halbbruder kinderlos geblieben war, erbte nun Henry Paget dessen Adelstitel als 4. Marquess of Anglesey, 13. Earl of Uxbridge und 7. Baronet, of Plas-Newydd. 18 Jahre später starb Henry Paget im Alter von 62 Jahren nach langer Krankheit auf Plas Newydd, dem Sitz der Familie Paget auf Anglesey in Nordwales. Seine Leichnam wurde in Llanedwen nahe Plas Newydd beigesetzt. Sein Sohn Henry folgte ihm als 5. Marquess of Anglesey.
# Herbert Neubauer

Herbert Neubauer (* 2. September 1943 in Nürnberg) ist ein deutscher Tischtennisspieler.
Er begann seine Tischtennis-Laufbahn beim Verein Sparta Noris Nürnberg (1956 bis 1961). Von 1961 bis 1970 spielte er in der Oberliga Süd für Jahn Nürnberg. 1967 belegte er im Bundesranglistenturnier des DTTB den 8. Platz und wurde in diesem Jahr auf Platz 10 der deutschen Rangliste geführt. Im gleichen Jahr scheiterte er bei den Deutschen Meisterschaften im Einzelwettbewerb im Viertelfinale an Eberhard Schöler, belegte aber im Doppelwettbewerb zusammen mit Horst Thein den 3. Platz. Für Hertha BSC spielte er von 1970 bis 1977 in der 1. und 2. Bundesliga, für CTTF Bonn von 1977 bis 1987 in der 2. Bundesliga. Seit 1987 war Herbert Neubauer als Diplomat an der deutschen Vertretung in Genf tätig und spielte seitdem in der Schweiz bei Meyrin CTT in der Nationalliga A.
Seine jetzige Bekanntheit verdankt er hauptsächlich seinen Erfolgen als Seniorensportler, wo er im Tischtennis sechsfacher Welt- und fünffacher Europameister in seinen Altersklassen wurde.
Außerdem hat er sich der Entwicklung effektiver Langnoppenbeläge mit extrem hohem „Störeffekt“ verschrieben. Darüber hinaus ist er auch in der Schlägerholz-Entwicklung tätig.
# Henry Osborne

Henry Osborne ist der Name folgender Personen:
* Henry Osborne (Georgia) (1751–1800), US-amerikanischer Politiker (Pennsylvania, Georgia)
* Henry Z. Osborne (1848–1923), US-amerikanischer Politiker (Kalifornien)
Siehe auch:
# Hermann-Löns-Stadion

Das Hermann-Löns-Stadion ist ein Fußballstadion im Stadtteil Schloß Neuhaus der nordrhein-westfälischen Stadt Paderborn. Es war bis Ende der Saison 2007/08 die Heimspielstätte des Fußballvereins SC Paderborn 07. Der Namensgeber der Anlage ist der deutsche Dichter Hermann Löns.

## Stadion

Gebaut wurde das drei Tribünen umfassende Stadion in den 1950er Jahren. Als der damalige TuS Schloß Neuhaus 1982 als Westfalenmeister in die 2. Bundesliga aufstieg, wurde die Haupttribüne ausgebaut, seitdem wurde es jedoch nicht mehr grundlegend renoviert, was ein Grund dafür ist, dass die Sportstätte allgemein als baufällig eingestuft wird. Nach dem Aufstieg des SC Paderborn 07 in die 2. Bundesliga im Jahre 2005 erhielt das Stadion ein Jahr später erstmals eine Flutlichtanlage. Nur aufgrund dieser Tatsache erteilte der DFB den Betreibern eine Sondergenehmigung zur Austragung von Zweit- und Regionalligaspielen. Eine der mit dieser Erteilung verbundenen Auflagen war ein Umzug in ein zweitligafähiges Stadion in näherer Zukunft.
Dies sollte schon zur Rückrunde der Saison 2005/06 mit dem Neubau der damaligen paragon arena geschehen, die Bauarbeiten ruhten jedoch bereits fünf Monate nach Baubeginn wieder, nachdem das Oberverwaltungsgericht für das Land Nordrhein-Westfalen in Münster die Baugenehmigung aufgrund von Anwohnerprotesten entzogen hatte. Daraufhin erhielt das Hermann-Löns-Stadion zum Beginn der Saison 2006/07 eine Zusatztribüne in Stahlrohrbauweise. Seit November 2007 wurde auf Grundlage einer neuen Baugenehmigung am neuen Stadion weitergebaut. Am 30. Juni 2008 wurde die fertiggestellte paragon arena an den SCP übergeben, er trägt dort seit der Saison 2008/09 seine Heimspiele aus. Nach dem Umzug wurden im Hermann-Löns-Stadion sowohl die Zusatztribüne als auch die Flutlichtanlage, welche in die neue Arena eingebaut wurde, bis auf deren Masten unverzüglich wieder zurückgebaut. Die Masten sollen später einmal für eine eventuell kleiner dimensionierte neue Flutlichtanlage eine Wiederverwendung finden.
Seit Sommer 2008 ist das Stadion Heimstätte des American-Football-Clubs AFC Paderborn Dolphins.

## Daten

Das Hermann-Löns-Stadion umfasst drei Tribünen mit einer Kapazität von 12.000 Plätzen. Davon sind 3604 überdachte Sitzplätze, der Rest sind Stehplätze. Der Gästebereich bietet ca. 3000 Zuschauern auf 2414 Steh- und 369 Sitzplätzen Platz.
Neben dem Hauptstadion verfügt das Sportgelände über einen Ascheplatz, dieser soll aber später in einen Kunstrasenplatz umgewandelt werden.

## Besonderheit

Eine Besonderheit des Geländes ist, dass eine Hochspannungsleitung direkt über das Stadion führt, was eine Einzigartigkeit im deutschen Profisport darstellt.

## Zuschauer

In den drei Zweitligajahren des SC Paderborn 07 bis zum Umzug ins neue Stadion im Sommer 2008 lag der Zuschauerschnitt zwischen 6300 und 6500 Besuchern und damit deutlich unter dem Zweitliga-Zuschauerdurchschnitt.
# Gerrit Winter

Gerrit Winter ist der Name folgender Personen:
* Gerrit Winter (Jurist) (1935–2022), deutscher Jurist
* Gerrit Winter (Sänger) (* 1983), deutscher Sänger
# Henry Schützer

Henry Schützer (* 1. Februar 1931) ist ein ehemaliger deutscher Fußballspieler im westsächsischen Lauter. Für die BSG Empor Lauter spielte er in der DDR-Oberliga, der höchsten Spielklasse im DDR-Fußball.

## Laufbahn als Fußballspieler

Als die BSG Empor Lauter 1952/53 ihre erste DDR-Oberliga-Saison bestritt, waren nur vier Spieler jünger als 22 Jahre: Hans Meyer, Karl Pöschel, Gottfried Schubert und Henry Schützer. Bereits als 19-Jähriger hatte er 1950 mit der Vorgängermannschaft SG Lauter die sächsische Vizemeisterschaft gewonnen. Ab 1950/51 spielte er nach Umbenennung mit der BSG Freiheit Wismut Lauter in der zweitklassigen DS-Liga und stieg 1952 mit der erneut umbenannten Mannschaft BSG Empor Lauter in die DDR-Oberliga auf.
Trainer Walter Fritzsch sah Schützer zwar als rechten Flügelstürmer, setzte aber zunächst den drei Jahre älteren Karl-Heinz Mohr auf dieser Position ein. Erst nach elf Meisterschaftsspielen erhielt Schützer seine Chance und bestritt bis zum Saisonende noch 17 Punktspiele, zunächst auf der rechten Angriffsseite, später als Linksaußenstürmer. Als zur Saison 1953/54 Heinz Pönert neuer Trainer wurde, schickte dieser Schützer in die Reservemannschaft. Im Oberligateam bestritt Schützer in unregelmäßigen Abständen lediglich zehn Punktspiele, mehrfach nur als Einwechselspieler.
In der Hinrunde der Spielzeit 1954/55 wurde Schützer überhaupt nicht in der Oberliga eingesetzt, und er gehörte auch nicht mit zu den Spielern, die im November 1954 zum SC Empor Rostock wechselten. 23-jährig beendete er nach 27 Oberligaspielen, in denen er sechs Tore erzielt hatte, seine Laufbahn in der DDR-Oberliga.
# Herbissonne

Die Herbissonne ist ein Fluss in Frankreich, der in der Region Grand Est (früher Champagne-Ardenne) verläuft. Sie entspringt im Ortsgebiet von Villiers-Herbisse im Département Aube, fließt in vorwiegend südlicher Richtung durch die Trockene Champagne (frz: Champagne sèche oder Champagne crayeuse) und mündet nach rund 14 Kilometern im Gemeindegebiet von Champigny-sur-Aube als rechter Nebenfluss in die Aube. Die Herbissonne hat keine größeren Zuflüsse.
Der mittlere Abfluss in Allibaudières liegt bei 0,33 m³/s mit Höchstwerten in den Monaten März und April und dem niedrigsten Wert im September.

## Orte am Fluss

(Reihenfolge in Fließrichtung)
* Villiers-Herbisse
* Herbisse
* Allibaudières
* Champigny-sur-Aube
# Gerd Krämer (Politiker, 1951)

Gerd Krämer (* 1951; † 2022) war ein deutscher Politiker (parteilos). Er war von 2002 bis 2015 Landrat des schleswig-holsteinischen Kreises Herzogtum Lauenburg.

## Leben

Nach einer Verwaltungsausbildung arbeitete er zunächst als Beamter beim Bundesgrenzschutz. 1990 wurde er Hauptamtsleiter der Stadt Lauenburg/Elbe, 1992 Bürgermeister der Stadt Schwarzenbek. Am 27. Februar 2002 gewann Krämer als parteiloser Kandidat von CDU und FDP die erste Direktwahl eines Landrates im Kreis Herzogtum Lauenburg und wurde Nachfolger von Günter Kröpelin, der 27 Jahre lang die Kreisverwaltung geleitet hatte. Nachdem durch eine Gesetzesänderung die Direktwahl des Landrates im Jahre 2009 abgeschafft wurde, wurde Krämer am 10. Dezember 2009 vom Kreistag des Herzogtums Lauenburg erneut zum Landrat gewählt. Er war ab September 2013 dienstunfähig und wurde durch Norbert Brackmann vertreten. 2015 wurde Christoph Mager (CDU) vorzeitig zu seinem Nachfolger gewählt.
Krämer war Mitglied des Aufsichtsrates der E.ON Hanse AG.
# Henry Wood

Sir Henry Joseph Wood (* 3. März 1869 in London; † 19. August 1944 in Hitchin, Hertfordshire) war ein britischer Dirigent.

## Leben

Wood war Schüler der Royal Academy of Music in London und wurde dort 1923 Professor. 1895 begründete er die bekannte Konzertreihe Promenade Concerts, kurz Proms, die traditionell mit der Royal Albert Hall in London verknüpft ist, jedoch ursprünglich in der Queen’s Hall stattfand. Er fungierte als erster Dirigent der Konzerte, und es wird auch heute noch jährlich an ihn erinnert, indem seine Büste anlässlich der Last Night of the Proms mit Lorbeer bekränzt wird.
Wood komponierte und arrangierte auch Musik, zuweilen unter dem Pseudonym Paul Klenovsky. 1911 erhielt er für seine Verdienste um die Musik den Ritterschlag zum Knight Bachelor, 1921 die Goldmedaille der Royal Philharmonic Society.

## Werke

* Fantasia on British Sea Songs, 1905
# Henry Woodward

Henry Woodward ist der Name folgender Personen:
* Henry Woodward (Schauspieler, 1714) (1714–1777), englischer Schauspieler und Pantomime
* Henry Woodward (Geologe) (1832–1921), britischer Geologe und Paläontologe
* Henry Woodward (Erfinder) (um 1850–??), kanadischer Erfinder
* Henry Woodward (Schauspieler, 1882) (1882–1953), amerikanischer Schauspieler
# Herrenhaus Sdier

Das Herrenhaus Sdier ist ein Herrenhaus im Ortsteil Sdier der Gemeinde Großdubrau im Landkreis Bautzen in der sächsischen Oberlausitz. Das durch das Domstift Bautzen als Wohnhaus und Kapelle genutzte Gebäude steht unter Denkmalschutz.

## Geschichte und Architektur

Der Rittersitz in Sdier wurde im Jahr 1413 erstmals urkundlich erwähnt, an der Stelle befand sich zu dieser Zeit eine Wasserburg aus dem 12. Jahrhundert. 1595 verkaufte Georg von Loeben das Gut an das Domstift Bautzen, im gleichen Jahr wurde es zum Rittergut erhoben. Das Rittergut Sdier befand sich fortan in kirchlichem Besitz. Das Herrenhaus wurde im Jahr 1719 auf Geheiß des Domdekans Martin Bernhard Just von Friedenfels als Sommerresidenz gebaut, nachdem die baufällige Wasserburg abgerissen worden war. In dem Herrenhaus wurde eine kleine Kapelle eingerichtet, in der zweimal im Monat eine sorbisch-katholische Messe stattfand. Nach einem Umbau wurde 1968 in einem Nebengebäude des Gutes eine kleine Kapelle eingeweiht. Von 1923 bis 2005 war Sdier sogar Pfarrort, seitdem ist die Kapelle wieder eine Filiale von Radibor.
Das Herrenhaus ist ein zweigeschossiger Bau im Stil des Barock mit sieben zu fünf Achsen. Es ist mit einem Mansardwalmdach überzogen, das mit Fledermausgauben versehen ist und in dessen Mitte ein rechteckiger hölzerner Dachreiter der Kapelle mit Schallöffnungen, Zeltdach und Turmkugel thront. Dieser wurde baulich verändert, der ursprüngliche Dachreiter hatte eine achteckige Form und war mit einer doppelt geschweiften Haube mit dazwischen liegender Laterne versehen. Das zentrale Eingangsportal ist durch Sandsteingewände mit einem Schlussstein gerahmt. In der Kapelle steht ein hölzerner Altar mit Rokokoschnitzereien.
Die ehemalige Wasserburg ist durch das Herrenhaus überbaut worden. Der Wassergraben um das Herrenhaus ist heute noch vorhanden, wurde im Osten jedoch trockengelegt. Die Anlage wurde erstmals 1938 und erneut 1971 unter Bodendenkmalschutz gestellt.
# Herbrand-Universum

Das Herbrand-Universum ist eine Menge in der Prädikatenlogik, die als Grundmenge zur Definition der Herbrand-Struktur herangezogen wird. Beide Begriffe sind Teil des Herbrand-Theorems, benannt nach Jacques Herbrand.

## Definition

Sei $F$ eine (geschlossene) Formel in bereinigter Skolemform. Das Herbrand-Universum zu $F$, bezeichnet mit $H_{F}$, ist die kleinste Menge von Termen, die folgende Bedingungen erfüllt:
* Ist $c$ eine in $F$ vorkommende Konstante, dann ist $c\in H_{0}$.
* Kommt in $F$ keine Konstante vor, so wird eine neue Konstante $a$ eingeführt und in $H_{0}$ aufgenommen.
* $H_{k+1}$ ist induktiv definiert durch $H_{k}\cup G$. Dabei ist $G$ eine Menge von Termen, die sich mittels der in $F$ vorkommenden Funktionssymbole und den bereits konstruierten Termen aus $H_{k}$ bilden lassen. Sei beispielsweise $g$ ein solches n-stelliges Funktionssymbol und seien $t_{1},t_{2},...,t_{n}$ Terme aus $H_{k}$, dann ist $g(t_{1},t_{2},...,t_{n})\in H_{k+1}$. Jeder so durch Funktionssymbole aus $F$ und Terme aus $H_{k}$ bildbare Term ist Element von $H_{k+1}$.
Daraus ergibt sich das Herbrand-Universum zu $F$:
$H_{F}=\bigcup _{k\geq 0}H_{k}$

### Beispiel

F bezeichne eine prädikatenlogische Formel mit
    $F:=\forall x\forall y\left(P\left(x,a\right)\vee Q\left(x,f\left(y\right)\right)\right)$
$H_{F}$ ergibt sich zu
    $H_{F}=\left\{a,f\left(a\right),f\left(f\left(a\right)\right),\ldots \right\}$
Man sieht, dass bereits ein Funktionssymbol in $F$ zu einer unendlichen Menge von Termen führt.

### Beispiel 2

F bezeichne eine prädikatenlogische Formel mit
    $F:=\forall x\forall y\left(f(x)\vee g(y)\right)$
Die jeweiligen Teilmengen sehen wie folgt aus:
    $H_{0}=\{a\}$ ( Konstante a wurde eingeführt und in $H_{0}$ eingefügt )
    $H_{1}=\{a,f(a),g(a)\}$
    $H_{2}=\{a,f(a),g(a),f(f(a)),f(g(a)),g(f(a)),g(g(a))\}$
    $H_{3}=H_{2}\cup \dots$
$H_{F}=\lim _{n\to \infty }H_{n}$

### Beispiel 3

F bezeichne eine prädikatenlogische Formel mit
    $F:=\forall x\forall y\left[F(x,a)\vee \neg G(b,f(y))\right]$
    $H_{0}=\{a,b\}$
    $H_{1}=\{a,b,f(a),f(b)\}$
    $H_{2}=\{a,b,f(a),f(b),f(f(a)),f(f(b)),\dots \}$
    $\dots$
$H_{F}=\lim _{n\to \infty }H_{n}=H_{0}\cup H_{1}\cup H_{2}\cup\dots$
# Herbrand-Struktur

Eine zu einer prädikatenlogischen Formelmenge F passende Struktur $A=\left(U,I\right)$ heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also $U=D\left(F\right)$.
* Die Interpretationen I sind Herbrand-Interpretationen.
Bei einer Interpretation werden den Funktions- und Konstantensymbolen tatsächliche Funktionen und Konstanten zugeordnet. Bei der Herbrand-Interpretation weist man jedem Funktionsterm eine Interpretation durch sich selbst zu. Dies ist möglich, da das Herbrand-Universum genau aus der Menge aller möglichen Terme mit Funktions- und Konstantensymbolen besteht. Damit ist eine Herbrand-Struktur eine Terminterpretation.
Beispiel: Sei das Herbrand-Universum $D\left(F\right)=\{a,f(a),f(f(a)),...\}$. Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum:
    $f^{A}(a)=f(a)$
    $f^{A}(f(a))=f(f(a))$
    $f^{A}(f(f(a)))=f(f(f(a)))$
Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt.