Reports on Mathematical Logic

No. 42


Intensional solutions to the identity problem for partial sets

A b s t r a c t. A general forcing method is developed that allows to construct pure term models for (roughly speaking) predicative first-order partial set theory, where specific identification/differentiation rules hold. The applications bring new results about the links with intensionality and extensionality.

Back to Main Menu