Pages that link to "Item:Q1841001"
From MaRDI portal
The following pages link to Does reductive proof theory have a viable rationale? (Q1841001):
Displaying 16 items.
- The consistency of arithmetic (Q666895) (← links)
- On the logic of reducibility: Axioms and examples (Q1841000) (← links)
- Truth and reduction (Q1841002) (← links)
- Reductionism as resource-conscious reasoning (Q1841008) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Arithmetic, set theory, reduction and explanation (Q2219037) (← 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)
- Does Advice Help to Prove Propositional Tautologies? (Q3637158) (← 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)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)