Herbrand structure

For a language $\\mathcal{L}$ , define the Herbrand universe to be the set of closed terms (alternatively ground terms) of $L$ .

A structure $\\mathfrak{M}$ for $\\mathcal{L}$ is a Herbrand structure if the domain of $\\mathfrak{M}$ is the Herbrand universe of $\\mathcal{L}$ . This fixes the domain of $\\mathfrak{M}$ , and so each Herbrand structure can be identified with its interpretation, leading to the alternative nomenclature of Herbrand interpretation.

A Herbrand model of a theory $T$ is a Herbrand structure which is a model of $T$ .

单词	HerbrandStructure
释义	Herbrand structure For a language $\\mathcal{L}$ , define the Herbrand universe to be the set of closed terms (alternatively ground terms) of $L$ . A structure $\\mathfrak{M}$ for $\\mathcal{L}$ is a Herbrand structure if the domain of $\\mathfrak{M}$ is the Herbrand universe of $\\mathcal{L}$ . This fixes the domain of $\\mathfrak{M}$ , and so each Herbrand structure can be identified with its interpretation, leading to the alternative nomenclature of Herbrand interpretation. A Herbrand model of a theory $T$ is a Herbrand structure which is a model of $T$ .
随便看	lazy caterer’s sequence lcm⁢(m⁢a,m⁢b)=m⁢lcm⁢(a,b) LeafNodeofATree leaf node (of a tree) LeastAndGreatestValueOfFunction least and greatest value of function LeastAndGreatestZero least and greatest zero LeastCommonMultiple least common multiple LeastPrimeFactor least prime factor LeastSignificantDigit least significant digit LeastSquares least squares LeastSurfaceOfRevolution least surface of revolution LebesgueDecompositionTheorem Lebesgue decomposition theorem LebesgueDensityTheorem Lebesgue density theorem LebesgueDifferentiationTheorem Lebesgue differentiation theorem LebesgueIntegral