Semi-local simple connectedness is a property that arises in Algebraic Topology in the study of covering spaces, namely, it is a necessary condition for the existence of the universal cover of a topological space X. It means that every point $x \in X$ has a neighborhood $N$ such that every loop in $N$ is nullhomotopic in $X$ (not necessarily through a homotopy of loops in $N$). The way I see it, the prefix "semi-" is refers more to "simply connected" than to "locally", since if such $N$ exists, all other neighborhoods of $x$ inside $N$ also have the property, so each point has a fundamental system of (open) neighborhoods for which the property holds (EDIT see Qiaochu's comment). Instead it isn't true that a semi-local simply connected space is locally simply connected (i.e each point has a fundamental system of open, simply connected neighborhoods): take the space $ X = \frac{H \times I}{ \sim } $ where $H$ is the "Hawaiian earring" (which is an example of non semi-locally simply connected space) and $\sim$ is the equivalence that identifies $H \times \{0\}$ to one point.
However I was interested in finding another type of counterexample. Consider the topological property (call it $*$) consisting in the existence, for all $x \in X$, of a simply connected, not necessarily open, neighborhood of $x$. We have $ \text{semi-local simple connectedness} \Leftarrow * \Leftarrow \text{local simple connectedness} \vee \text{simple connectedness} $ I am wondering if $ \text{semi-local simple connectedness} \Rightarrow * $ holds. Intuitively it shouldn't, but I'm having trouble finding a counterexample. For example, the space $X$ described above won't work because it is simply connected (even contractible). It seems to me that, if a counterexample does exist, it must have local pathologies (to ensure that a certain point $x$ doesn't have a simply connected neighborhood), and globally the space should allow loops close to $x$ to be nullhomotopic, but in such a way that every neighborhood $N$ of $x$ contains a small enough loop that will not contract in $N$. EDIT Also, I am looking for a counterexample which is a locally path connected space (a previous answer showed a counterexample without this property.. but @answerer it was interesting anyway, you shouldn't have deleted it!)
But perhaps I'm wrong, and the two assertions are equivalent, or maybe I am missing something very simple. If anybody has any ideas please share, thank you!