The color of traditional incandescent lighting is about 3300 Kelvin; halogen lamps at full power are more like 3800. The hottest halogen Osram and Sylvania Silverstar headlight bulbs are right at 4100K, just below the 4200K lower end of the high-intensity discharge (Sylvania's name: Xenarc) arc-type lamps, which go up beyond 10000K (violet and ultra-violet).
Typical halogen lamps are about 3000k. I don't understand why you say 4100k is hotter?