Classifying topoi and finite forcing

Affordable Access

Classifying topoi and finite forcing

Authors
Publisher
Elsevier

Abstract

We show that Robinson's finite forcing, for a theory , is a universal construction in the sense of categorical algebra: it is the satisfaction relation for the universal model in the classifying topos of a certain universal Horn theory defined from . Assuming, without loss of generality, that is axiomatized by universal sentences, we construct, as sheaf subtopoi of , the classifying topoi for (i.e., universal examples of) finitely generic models, existentially closed models, and arbitrary models of (with complemented primitive predicates).

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments