Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). It essentially allows a certain kind of reduction...

mathematics, the Herbrand–Ribet theorem is a result on the class group of certain number fields. It is a strengthening of Ernst Kummer's theorem to the effect...

arithmetic. The proof uses the above-mentioned, proof-theoretic Herbrand's theorem. Herbrand finished his doctorate at École Normale Supérieure in Paris under...

(whereas lower numbering is compatible with passage to subgroups.) Herbrand's theorem states that the ramification groups in the lower numbering satisfy...

c), R(c, fc), R(fc, fc), R(ffc, c), ...} Herbrand's theorem Herbrandization Herbrand interpretation "Herbrand Semantics". Ebbinghaus, Heinz-Dieter; Flum...

formulas in Σ . {\displaystyle \Sigma .} Barwise compactness theorem Herbrand's theorem – reduction of first-order mathematical logic to propositional...

generalized to apply to non-prenex formulas as well, in order to prove Herbrand's theorem (Herbrand 1930). The resulting formula is not necessarily equivalent to...

Moreover, Herbrand's theorem states that if S is unsatisfiable then there is a finite unsatisfiable set of ground instances from the Herbrand universe...

sets) Helmholtz theorem (classical mechanics) (physics) Helmholtz's theorems (physics) Herbrand's theorem (logic) Herbrand–Ribet theorem (cyclotomic fields)...

Gentzen's midsequent theorem, the Craig interpolation theorem, and Herbrand's theorem also follow as corollaries of the cut-elimination theorem. Gentzen's natural...