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 12 items.
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- Iterated reflection over full disquotational truth (Q4555459) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)
- An Effective Conservation Result for Nonstandard Arithmetic (Q4939397) (← links)
- An ‘<i>i</i>’ for an <i>i</i>, a Truth for a Truth† (Q5149971) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q6324274) (← links)
- Varieties of truth definitions (Q6565567) (← links)
- Indiscernibles and satisfaction classes in arithmetic (Q6565571) (← links)