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