@第{zbMATH07271572条，作者={de Brecht，Matthew and Pauly，Arno and Schr{“o}der，Matthias}，标题={公开选择}，FJournal={可计算性}，日志={可计算性}，ISSN={2211-3568}，体积={9}，数字={3-4}，页码={169--191}，年份={2020年}，语言={英语}，DOI={10.3233/COM-190253}，关键词={03D28,03D30,03F60}，zbMATH={7271572}，Zbl={1485.03152}}