Pages that link to "Item:Q5931215"
From MaRDI portal
The following pages link to A note on Spector's quantifier-free rule of extensionality (Q5931215):
Displayed 9 items.
- A complexity analysis of functional interpretations (Q557798) (← links)
- Light Dialectica revisited (Q636373) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- (Q5028422) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- On uniform weak König's lemma (Q5957854) (← links)