Pages that link to "Item:Q1313594"
From MaRDI portal
The following pages link to Constructibility in higher order arithmetics (Q1313594):
Displaying 11 items.
- Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order (Q1187538) (← links)
- Interpretations of the alternative set theory (Q1313595) (← links)
- Constructive arithmetics in Ore localizations enjoying enough commutativity (Q2200308) (← links)
- Constructive arithmetics in Ore localizations of domains (Q2284948) (← links)
- The natural hierarchy and quasi-hierarchy of constructibility degrees (Q3026997) (← links)
- Ramified analysis and the minimal β-models of higher order arithmetics (Q3695263) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- On two questions about feasibly constructive arithmetic (Q4419272) (← links)
- Constructivizable and non-constructivizable formal arithmetic structures (Q4722049) (← links)
- Constructive validity is nonarithmetic (Q5202185) (← links)
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766) (← links)