Pages that link to "Item:Q1841000"
From MaRDI portal
The following pages link to On the logic of reducibility: Axioms and examples (Q1841000):
Displaying 10 items.
- Transductions in arithmetic (Q904144) (← links)
- A mathematical characterization of interpretation between theories (Q1062672) (← links)
- Truth and reduction (Q1841002) (← links)
- Proof-theoretic reduction as a philosopher's tool (Q1841003) (← links)
- Arithmetic, set theory, reduction and explanation (Q2219037) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- ON THE REDUCTION OF TYPE THEORY (Q3216641) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)