@第{zbMATH07361881条，作者={Cubides Kovacsics，Pablo和Ye，Jinhe}，标题={可定义类型空间的可定义性}，FJournal={美国数学学会会刊，B辑}，期刊={Proc.Am.Math.Soc.，Ser.B}，ISSN={2330-1511}，体积={8}，页码={173--188}，年份={2021}，语言={英语}，DOI={10.1090/bproc/85}，关键词={11U09,03C60,12J10}，zbMATH={7361881}，Zbl={1507.11112}}