-
Views
-
Cite
Cite
Ansten Klev, The purely iterative conception of set, Philosophia Mathematica, Volume 32, Issue 3, October 2024, Pages 358–378, https://doi.org/10.1093/philmat/nkae018
- Share Icon Share
Abstract
According to the iterative conception of set, sets are formed in stages. According to the purely iterative conception of set, sets are formed by iterated application of a set-of operation. The cumulative hierarchy is a mathematical realization of the iterative conception of set. A mathematical realization of the purely iterative conception can be found in Peter Aczel’s type-theoretic model of constructive set theory. I will explain Aczel’s model construction in a way that presupposes no previous familiarity with the theories on which it is based.
© The Author(s) [2024]. Published by Oxford University Press. All rights reserved. [br]For permissions, please e-mail: [email protected]
This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model (https://dbpia.nl.go.kr/pages/standard-publication-reuse-rights)
Issue Section:
Article
You do not currently have access to this article.