Pages that link to "Item:Q2120976"
From MaRDI portal
The following pages link to Reflection algebras and conservation results for theories of iterated truth (Q2120976):
Displaying 8 items.
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- An Effective Conservation Result for Nonstandard Arithmetic (Q4939397) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- Varieties of truth definitions (Q6565567) (← links)
- Indiscernibles and satisfaction classes in arithmetic (Q6565571) (← links)
