@集合{Setzer12，title={作为由其消除规则确定的类型的余代数}，作者＝｛Anton Setzer｝，年份={2012}，doi={10.1007/978-94-007-4435-6_16}，url={http://dx.doi.org/10.1007/978-94-007-4435-6_16},研究人员={https://researchr.org/publication/Setzer12},引用={0}，引用者={0}，页码={351-369}，booktitle={认识论vs.本体论-佩尔·马丁·洛夫的哲学和数学基础论文，编辑＝{Peter Dybjer和Sten Lindström以及Erik Palmgren和Göran Sundholm}，体积={27}，系列={逻辑、认识论和科学的统一}，publisher={Springer}，isbn={978-94-007-4435-6}，}