Beta-model

Summary

In model theory, a mathematical discipline, a β-model (from the French "bon ordre", well-ordering) is a model that is correct about statements of the form "X is well-ordered". The term was introduced by Mostowski (1959) as a strengthening of the notion of ω-model. In contrast to the notation for set-theoretic properties named by ordinals, such as $\xi$-indescribability, the letter β here is only denotational.