Hostname: page-component-7bb8b95d7b-pwrkn Total loading time: 0 Render date: 2024-09-06T02:20:45.728Z Has data issue: false hasContentIssue false
  • English
  • Français

On a system of Feferman

Published online by Cambridge University Press:  17 April 2009

Luiz Paulo de Alcantara
Luiz Paulo de Alcantara
Affiliation:
Institut de Mathématiques, Université de Louvain, Belgium; Instituto de Matemática, Universidade Estadual de Campinas, Brasil.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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

References

[1]Feferman, Solomon, “Set-theoretical foundations of category theory”, Reports of the Midwest Category Seminar III, 201–232 (Lecture Notes in Mathematics, 106. Springer-Verlag, Berlin, Heidelberg, New York, 1969).CrossRefGoogle Scholar
[2]Lévy, Azriel, “On Ackermann's set theory”, J. Symbolic Logic 24 (1959), 154–166.Google Scholar
[3]Lévy, A. and Vaught, R., “Principles of partial reflection in the set theories of Zermelo and Ackermann”, Pacific J. Math. 11 (1961), 1045–1062.Google Scholar
[4]Reinhardt, William N., “Ackermann's set theory equals ZF”, Ann. Math. Logic 2 (1970), 189–249.CrossRefGoogle Scholar