Pages that link to "Item:Q3236674"
From MaRDI portal
The following pages link to On the axiom of extensionality – Part I (Q3236674):
Displaying 8 items.
- Extensional models for polymorphism (Q749518) (← links)
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471) (← links)
- Substitution structures (Q2295599) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- (Q5572328) (← links)
- On a Theory Objects Based on a Single Axiom Scheme (Q5607984) (← links)
- A generalization of the Takeuti–Gandy interpretation (Q5740650) (← links)
