Outrageously Funny Word Dictionary :: Prehalter

👉 In the context of mathematical logic, a prehalter is a type of predicate that can be used to define a partial ordering on a set. A prehalter is defined as a function that accepts an arbitrary element of the domain and returns true if the element satisfies the given condition (the "pre" part), and false otherwise (the "halter" part). For example, in the context of predicate logic, a prehalter can be used to define a partial order on a set

prehalteres

👉 A prehalter is a type of mathematical function that can be expressed in terms of the hypergeometric function. It is defined as follows: $$ \frac{1}{2} (\alpha + 1) \cdot \sum_{k=0}^{\infty} \binom{n-1+k}{n-k-1} (-x)^k $$ where $\alpha$ is a positive real number, and the sum ranges over all integers $k$ from 0

prehalter