Geodesic
An application of a reflection principle
Zofia Adamowicz1 ; Leszek Aleksander Kołodziejczyk2 ; Paweł Zbierski3
1 Institute of Mathematics Polish Academy of Sciences Śniadeckich 8 00-956 Warszawa, Poland
2 Institute of Philosophy Warsaw University Krakowskie Przedmieście 3 00-047 Warszawa, Poland
3 (deceased; 1944-2002)
Fundamenta Mathematicae, Tome 180 (2003) no. 2, pp. 139-159

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We define a recursive theory which axiomatizes a class of models of $I\Delta _0 + \Omega _3 + \neg \mathop {\rm exp}\nolimits $ all of which share two features: firstly, the set of $\Delta _0$ definable elements of the model is majorized by the set of elements definable by $\Delta _0$ formulae of fixed complexity; secondly, $\Sigma _1$ truth about the model is recursively reducible to the set of true $\Sigma _1$ formulae of fixed complexity.
DOI : 10.4064/fm180-2-2
Keywords: define recursive theory which axiomatizes class models delta omega neg mathop exp nolimits which share features firstly set delta definable elements model majorized set elements definable delta formulae fixed complexity secondly sigma truth about model recursively reducible set sigma formulae fixed complexity

Zofia Adamowicz 1 ; Leszek Aleksander Kołodziejczyk 2 ; Paweł Zbierski 3

1 Institute of Mathematics Polish Academy of Sciences Śniadeckich 8 00-956 Warszawa, Poland
2 Institute of Philosophy Warsaw University Krakowskie Przedmieście 3 00-047 Warszawa, Poland
3 (deceased; 1944-2002) 
@article{10_4064_fm180_2_2,
     author = {Zofia Adamowicz and Leszek Aleksander Ko{\l}odziejczyk and Pawe{\l} Zbierski},
     title = {An application of a reflection principle},
     journal = {Fundamenta Mathematicae},
     pages = {139--159},
     publisher = {mathdoc},
     volume = {180},
     number = {2},
     year = {2003},
     doi = {10.4064/fm180-2-2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm180-2-2/}
}
TY  - JOUR
AU  - Zofia Adamowicz
AU  - Leszek Aleksander Kołodziejczyk
AU  - Paweł Zbierski
TI  - An application of a reflection principle
JO  - Fundamenta Mathematicae
PY  - 2003
SP  - 139
EP  - 159
VL  - 180
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm180-2-2/
DO  - 10.4064/fm180-2-2
LA  - en
ID  - 10_4064_fm180_2_2
ER  - 
%0 Journal Article
%A Zofia Adamowicz
%A Leszek Aleksander Kołodziejczyk
%A Paweł Zbierski
%T An application of a reflection principle
%J Fundamenta Mathematicae
%D 2003
%P 139-159
%V 180
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm180-2-2/
%R 10.4064/fm180-2-2
%G en
%F 10_4064_fm180_2_2
Zofia Adamowicz; Leszek Aleksander Kołodziejczyk; Paweł Zbierski. An application of a reflection principle. Fundamenta Mathematicae, Tome 180 (2003) no. 2, pp. 139-159. doi: 10.4064/fm180-2-2

Cité par Sources :