Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… … Wikipedia
Herbrand base — In mathematical logic, for any formal language with a set of terms from the Herbrand universe, the Herbrand base recursively defines the set of all atomic formulas that can be composed by forming predicates using the terms from the Herbrand… … Wikipedia
Herbrand structure — In mathematics, for a language , define the Herbrand universe to be the set of ground terms of . A structure for is a Herbrand structure if the domain of is the Herbrand universe of … Wikipedia
Herbrand interpretation — In mathematical logic, a Herbrand interpretation is an interpretation in which all constants and function symbols are assigned very simple meanings. Specifically, every constant is interpreted as itself, and every function symbol is interpreted… … Wikipedia
Universe (mathematics) — In mathematical logic, the universe of a structure (or model ) is its domain.In mathematics, and particularly in applications to set theory and the foundations of mathematics, a universe or universal class (or if a set, universal set – not to be… … Wikipedia
Jacques Herbrand — (February 12, 1908 July 27, 1931) was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. He worked in mathematical logic and class field theory. He introduced recursive functions. Herbrand s theorem refers … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… … Wikipedia
Ground expression — In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first order logic all closed terms are ground terms, but in lambda calculus… … Wikipedia
Free object — In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations). It also has a clean… … Wikipedia
