A System of Simple Type Theory with Type Variables
スポンサーリンク
概要
- 論文の詳細を見る
The purpose of this paper is to give a system for simple type theory with type variables and to show that this system and Zermelo's set theory with individuals (=ur-elements) but without axiom of infinity can be reciprocally translated each other over an arbitrarily given first order theroy. In the following discussion, problems concerning the axiom of choice are not important.
- 1969-03-31