From types to sets
- 31 May 1980
- journal article
- Published by Elsevier in Advances in Mathematics
- Vol. 36 (2) , 113-164
- https://doi.org/10.1016/0001-8708(80)90013-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974
- Boolean topoi and the theory of setsJournal of Pure and Applied Algebra, 1972
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- Are Variables Necessary in CalculusThe American Mathematical Monthly, 1949
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931