Pages that link to "Item:Q1841001"
From MaRDI portal
The following pages link to Does reductive proof theory have a viable rationale? (Q1841001):
Displaying 10 items.
- The consistency of arithmetic (Q666895) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- About Truth and Types (Q3305551) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
