Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality**

    loading  Checking for direct PDF access through Ovid

Abstract

In this paper, we prove that Heyting's arithmetic can be interpreted in an intuitionistic version of Russell's Simple Theory of Types without extensionality.

Related Topics

    loading  Loading Related Articles