ABSTRACT

Functorial generic filters are presented and the applications to fragment consistency and algebraic products are briefed. Horn products are specific fragment consistent model examples treated. Specific topos project set models are based on ultrafilters and saturated models are presented. Some basics and definitions are briefs from preceding chapters, stated here for self-containment.