Pages that link to "Item:Q6103462"
From MaRDI portal
The following pages link to MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462):
Displaying 5 items.
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- The two halves of disjunctive correctness (Q6038484) (← links)
- Varieties of truth definitions (Q6565567) (← links)
- Indiscernibles and satisfaction classes in arithmetic (Q6565571) (← links)
- Saturation properties for compositional truth with propositional correctness (Q6652033) (← links)
