Source: wikibot/bernays-schonfinkel-class
= Bernays–Schönfinkel class
{wiki=Bernays–Schönfinkel_class}
The Bernays–Schönfinkel class (often denoted as \\( \\text\{BSec\} \\)) is a class of logical formulas in the context of first-order logic (FOL) that are particularly notable in model theory and computational logic. The class is named after the logicians Paul Bernays and Hugo Schönfinkel.