The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem
- 作者S. Cavagnetto
- 卷第158卷
- 期第5期
- 印刷ISSN1072-3374
- 电子ISSN1573-8795
- 文件大小353.56KB
- 发表时间2009-05
- DOI10.1007/s10958-009-9408-0
- 页码689-707
Optimal transportation networks as flat chainsPaolini, Emanuele; Stepanov, Eugene · Interfaces and Free Boundaries · 2006
Existence and regularity results for the Steiner problemEmanuele Paolini, Eugene Stepanov · 2013
Flows of measures generated by vector fieldsPaolini, Emanuele; Stepanov, Eugene · Proceedings of the Royal Society of Edinburgh: Section A Mathematics · 2018
Decomposition of acyclic normal currents in a metric spaceEmanuele Paolini; Eugene Stepanov · 2012
On one-dimensional continua uniformly approximating planar setsMichele Miranda; Emanuele Paolini; Eugene Stepanov · Calculus of Variations and Partial Differential Equations · 2006
Structure of metric cycles and normal one-dimensional currentsPaolini, Emanuele; Stepanov, Eugene · Journal of Functional Analysis · 2013
An example of an infinite Steiner tree connecting an uncountable setPaolini, Emanuele; Stepanov, Eugene; Teplitskaya, Yana · Advances in Calculus of Variations · 2015