presented at event European Summer Meeting of the Association for Symbolic Logic, Helsinki, Finland. Conference