Corpus ID: 201646387

Reflection algebras and conservation results for theories of iterated truth

@article{Beklemishev2019ReflectionAA,
  title={Reflection algebras and conservation results for theories of iterated truth},
  author={L. Beklemishev and F. Pakhomov},
  journal={arXiv: Logic},
  year={2019}
}
  • L. Beklemishev, F. Pakhomov
  • Published 2019
  • Mathematics
  • arXiv: Logic
  • We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original system of arithmetic. Much stronger systems, however, are obtained by adding either induction axioms or reflection axioms on top of them. Theories of this kind can interpret some well-known predicatively reducible fragments of second-order arithmetic such as… CONTINUE READING
    3 Citations
    Reflection ranks and ordinal analysis
    • 5
    • PDF
    M\"unchhausen provability
    • PDF
    Quantified Reflection Calculus with One Modality
    • 1
    • PDF

    References

    SHOWING 1-10 OF 52 REFERENCES
    Reflection calculus and conservativity spectra
    • 6
    • PDF
    Proof-theoretic analysis by iterated reflection
    • 58
    • PDF
    Provability algebras and proof-theoretic ordinals, I
    • 95
    • PDF
    A Fine Structure Generated by Reflection Formulas over Primitive Recursive Arithmetic
    • 54
    Fragments of First and Second Order Arithmetic and Length of Proofs
    • 6
    • PDF
    Positive provability logic for uniform reflection principles
    • 29
    • PDF
    Calibrating Provability Logic: From Modal Logic to Reflection Calculus
    • 20
    • PDF
    The omega-rule interpretation of transfinite provability logic
    • 16
    • PDF
    Reflection ranks and ordinal analysis
    • 5
    • PDF