%0 Journal Article
%T Separating the Fan Theorem and Its Weakenings
%A Robert S. Lubarsky
%A Hannes Diener
%J Mathematics
%D 2015
%I arXiv
%R 10.1017/jsl.2014.9
%X Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates all of the as yet identified fan theorems.
%U http://arxiv.org/abs/1510.02141v1