Pages that link to "Item:Q5377088"
From MaRDI portal
The following pages link to Reflection calculus and conservativity spectra (Q5377088):
Displayed 4 items.
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)