The purely iterative conception of set

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F24%3A00599364" target="_blank" >RIV/67985955:_____/24:00599364 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1093/philmat/nkae018" target="_blank" >https://doi.org/10.1093/philmat/nkae018</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/philmat/nkae018" target="_blank" >10.1093/philmat/nkae018</a>

Result language

angličtina

Original language name

The purely iterative conception of set

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Philosophia Mathematica

ISSN

0031-8019

e-ISSN

1744-6406

Volume of the periodical

32

Issue of the periodical within the volume

3

Country of publishing house

US - UNITED STATES

Number of pages

21

Pages from-to

358-378

UT code for WoS article

001303477200001

EID of the result in the Scopus database

2-s2.0-85206940569