Herbrand Universe

In mathematical logic, for any formal language with a set of symbols (constants and functional symbols), the Herbrand universe recursively defines the set of all terms that can be composed by applying functional composition from the basic symbols. It is named after Jacques Herbrand.

Links

  • http://mathworld.wolfram.com/HerbrandUniverse.html

 

<< PreviousWord BrowserNext >>
waldstatt
paxton pits nature reserve
commodore basic
paul halmos
hurricane isabel
teufen
bhler
rocky graziano
gais
speicher, switzerland
bob riley
abraham colles
trogen
government of the 25th dil
milton, massachusetts
alexandra palace
michael (archangel)
rehetobel
wald ar
grub ar
heiden, switzerland
wolfhalden
lutzenberg ar
walzenhausen
reute
lord steward
bristol brabazon
government of the 26th dil
musica universalis
lord snooty
progressive party of brazil
long billed curlew
cross hills
mtabetchouan river
highway patrol
ibm 1013
schizosaccharomyces pombe
whakapapa
united kingdom in the eurovision song contest 1981
george w. romney
making your mind up
u.n. resolution 425
eskimo curlew
world party
Copyright 2005-2009 OnPedia.com. All Rights Reserved