The following pages link to Brouwerian Counterexamples (Q3491547):
Displaying 9 items.
- A constructive real projective plane (Q265603) (← links)
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics (Q462852) (← links)
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) (Q945261) (← links)
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) (Q990626) (← links)
- Constructive irrational space (Q1104321) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- A constructive version of the Sylvester-Gallai theorem (Q1701339) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Constructive projective extension of an incidence plane (Q5402107) (← links)
