Worlds and Models in Bayart and Carnap