Pages that link to "Item:Q4304781"
From MaRDI portal
The following pages link to Typical ambiguity and elementary equivalence (Q4304781):
Displaying 5 items.
- Intuitionistic typical ambiguity (Q757362) (← links)
- A Theory of Ambiguous Types and Its Axiomatizations (Q3813789) (← links)
- A generalization of Specker's theorem on typical ambiguity (Q3984422) (← links)
- THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE (Q4295242) (← links)
- (Q4663833) (← links)