Pages that link to "Item:Q1038653"
From MaRDI portal
The following pages link to On interpretations of bounded arithmetic and bounded set theory (Q1038653):
Displaying 7 items.
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- (Q3581788) (← links)
- (Q4395612) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)
- Bounded finite set theory (Q6047677) (← links)
- Varieties of truth definitions (Q6565567) (← links)