An application of a reflection principle

• Autorzy: Zofia Adamowicz , Leszek Aleksander Kołodziejczyk , Paweł Zbierski
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03F30: First-order arithmetic and fragments

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2003
• Tom: 180
• Numer: 2
• Strony: 139-159

Daty

wydano

2003

Twórcy

autor

Zofia Adamowicz

• Institute of Mathematics, Polish Academy of Sciences, Śniadeckich 8, 00-956 Warszawa, Poland

autor

Leszek Aleksander Kołodziejczyk

• Institute of Philosophy, Warsaw University, Krakowskie Przedmieście 3, 00-047 Warszawa, Poland

autor

Paweł Zbierski

• (deceased; 1944-2002)

Identyfikatory

DOI

10.4064/fm180-2-2