An application of a reflection principle

Zofia Adamowicz, Leszek Aleksander Kołodziejczyk, and Paweł Zbierski. "An application of a reflection principle." Fundamenta Mathematicae 180.2 (2003): 139-159. <http://eudml.org/doc/283250>.

@article{ZofiaAdamowicz2003,
abstract = {We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.},
author = {Zofia Adamowicz, Leszek Aleksander Kołodziejczyk, Paweł Zbierski},
journal = {Fundamenta Mathematicae},
keywords = {fragments of arithmetic; bounded induction; definable elements},
language = {eng},
number = {2},
pages = {139-159},
title = {An application of a reflection principle},
url = {http://eudml.org/doc/283250},
volume = {180},
year = {2003},
}

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
VL - 180
IS - 2
SP - 139
EP - 159
AB - We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.
LA - eng
KW - fragments of arithmetic; bounded induction; definable elements
UR - http://eudml.org/doc/283250
ER -