A Kripke model for simplicial sets

被引：7
|
作者：
Bezem, Marc [1 ]
Coquand, Thierry [2 ]
机构：
[1] Univ Bergen, Dept Informat, N-5020 Bergen, Norway
[2] Chalmers Univ Gothenburg, Dept Comp Sci & Engn, Gothenburg, Sweden
来源：
THEORETICAL COMPUTER SCIENCE | 2015年 / 574卷
基金：
欧洲研究理事会;
关键词：
Simplicial set; Kripke model; Constructivity;
D O I：
10.1016/j.tcs.2015.01.035
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
By means of a countermodel we show that the homotopy equivalence of the fibers of a Kan fibration over a connected base cannot be proved constructively. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码：86 / 91
页数：6
相关论文
共 50 条
12345