Pages that link to "Item:Q3984422"
From MaRDI portal
The following pages link to A generalization of Specker's theorem on typical ambiguity (Q3984422):
Displaying 8 items.
- Intuitionistic typical ambiguity (Q757362) (← links)
- Increasing sentences in simple type theory (Q2363207) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- The failure of the uncountable non-commutative Specker phenomenon (Q2769825) (← links)
- Specker's theorem for Nöbeling's group (Q2781322) (← links)
- (Q2938777) (← links)
- Typical ambiguity and elementary equivalence (Q4304781) (← links)
- Decreasing sentences in Simple Type Theory (Q5108113) (← links)