Pages that link to "Item:Q4879205"
From MaRDI portal
The following pages link to Asymmetric Interpretations for Bounded Theories (Q4879205):
Displayed 5 items.
- Admissible closures of polynomial time computable arithmetic (Q634777) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- Polynomial time operations in explicit mathematics (Q4358055) (← links)