No CrossRef data available.
Article contents
On a system of Feferman
Published online by Cambridge University Press: 17 April 2009
Abstract
A system of set theory which appears as an extension of Ackermann set theory is introduced. In this sytem we construct a syntactic model for a theory proposed by Feferman for the development of category theory.
- Type
- Research Article
- Information
- Bulletin of the Australian Mathematical Society , Volume 13 , Issue 3 , December 1975 , pp. 429 - 437
- Copyright
- Copyright © Australian Mathematical Society 1975