Conservativity spectra and Joosten-Fernández model

DOI10.1134/S1064562422040032WikidataQ119982167 ScholiaQ119982167MaRDI QIDQ2079167

Lev D. Beklemishev

Publication date: 29 September 2022

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

reflection principleconservativitytruth definition

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Algebraic logic (03Gxx)

Cites Work

• Turing-Taylor expansions for arithmetic theories
• Proof-theoretic analysis by iterated reflection
• Reflection algebras and conservation results for theories of iterated truth
• Arithmetization of metamathematics in a general setting
• On strong provability predicates and the associated modal logics
• Models of transfinite provability logic
• Reflection calculus and conservativity spectra
• Unnamed Item
• Unnamed Item
• Unnamed Item