You are here
Home ›Herbrand structure
Primary tabs
Herbrand structure
For a language , define the Herbrand universe to be the set of closed terms (alternatively ground terms) of .
A structure for is a Herbrand structure if the domain of is the Herbrand universe of . This fixes the domain of , and so each Herbrand structure can be identified with its interpretation, leading to the alternative nomenclature of Herbrand interpretation.
Defines:
HerbrandModel HerbrandInterpretation HerbrandUniverse
Related:
HerbrandsTheoremFirstOrderLogic
Synonym:
HerbrandModel HerbrandInterpretation
Type of Math Object:
Definition
Major Section:
Reference
Mathematics Subject Classification
03B10 Classical first-order logic- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 20
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new question: Taylor's Series Query! by Bruce Lee
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759


