Pages that link to "Item:Q5377088"
From MaRDI portal
The following pages link to Reflection calculus and conservativity spectra (Q5377088):
Displaying 8 items.
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- Equality of the spectral and dynamical definitions of reflection (Q982438) (← links)
- On the reflection calculus with partial conservativity operators (Q1685909) (← links)
- A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\) (Q1709691) (← links)
- 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)