The purely iterative conception of set
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The purely iterative conception of set
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The purely iterative conception of set
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Philosophia Mathematica
ISSN
0031-8019
e-ISSN
1744-6406
Svazek periodika
32
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
21
Strana od-do
358-378
Kód UT WoS článku
001303477200001
EID výsledku v databázi Scopus
2-s2.0-85206940569