To continue reading this content, please enable JavaScript in your browser settings and refresh this page. "Leadership" is a powerful word. We feel it when we are in ...

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V = HOD, but is not first-order expressible. Nevertheless, ...