@第{zbMATH07286844条，作者={Porta，Mauro and Yu，Tony Yue}，标题={导出解析几何中的可表示性定理}，FJournal={欧洲数学学会杂志（JEMS）}，期刊={欧洲数学学会（JEMS）}，ISSN={1435-9855}，体积={22}，数字={12}，页码={3867--3951}，年份={2020年}，语言={英语}，DOI={10.4171/JEMS/998}，关键词={14D23,14G22,32G13,14A30}，zbMATH＝{7286844}，Zbl={1456.14018}}