Шулай уҡ 1970-се — 1980-се йылдарҙа форсинг ысулы үҫешендә (Коэн тарафынан ZFC-та континуум-гипотезаның хәл иткеһеҙ булыуын иҫбатлау өсөн булдырылған) Соловейҙың, Скотт һәм Вопенканың (чех Petr Vopěnka) хеҙмәттәрендә Буль ҡиммәтле моделдәр теорияһы эшләнә, уның нигеҙендә стандарт булмаған анализдың үҙаллы тармағы — Буль ҡиммәтле анализ барлыҡҡа килә.