MODEL SPACES OF SET THEORY

Abstract

The proliferation of models of axiomatic set theory (ZF or ZFC}, possible by forcing techniques and new axioms, leaves a situation in which we can systematically research interrelations of models and models families, in order to work out theoretical aspects and to put the basis for new developments of semantic and model theory of formal languages and theories. Toposes theory settles useful tools toward this aim. This paper shows some proposals in this line.