Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland;Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland and Institute for Logic, Language, and Computation, University of Amsterdam, Amsterdam, The Netherlands;Department of Philosophy, Stockholm University, Stockholm, Sweden