由于技术问题,目前无法在线订购。我们对解决此问题时延迟回复客户表示歉意。有关更多更新,请访问我们的网站:https://www.cambridge.org/news-and-insights/technical-incident由于计划维护,网站可能会有一段时间不可用。对于给您带来的不便,我们深表歉意。
我们使用cookie将您与其他用户区分开来,并在我们的网站上为您提供更好的体验。关闭此消息以接受Cookie或了解如何管理您的cookie设置。
剑桥大学出版社在线出版:2020年6月18日
在本文中,我们利用精确完备理论研究了Martin-Löf型理论中的小集类的范畴性质,更广泛地说,研究了集范畴的构造初等理论模型的范畴性质及其选择对象的子范畴性质(即,满足选择公理的对象)。由于这些预期的应用程序,我们处理的类别缺少等式,只有弱等式,但其对象可以被视为全局元素的集合。在此背景下,我们研究了所涉及范畴的内部逻辑,并利用这种分析给出了精确完备的局部笛卡尔闭包的充分条件。最后,我们将此结果应用于显示精确补全何时生成CETCS模型。
埃里克·帕尔姆格伦于2019年去世。
加载。。。
查看全部谷歌学者引文用于本文。