Refutation of the Fan Theorem
Colin James · viXra · 2019
The definition of the decidable fan theorem is evaluated as not tautologous, hence refuting it and derived conjectures such as “uniform continuity theorem with continuous moduli”. These results form a non tautologous fragment of the universal logic VŁ4.