Scifaro

中文

Logic Blog 2011

逻辑 2014-03-25 v1

作者: André Nies

在 arXiv 上查看 ↗ PDF ↗

摘要

本年度的逻辑博客聚焦于：1. Demuth 随机性；2. 可追踪性 (traceability)；3. 可计算分析与随机性的联系；4. 度量空间中的 $K$ -triviality。

关键词

Demuth 随机性可追踪性可计算分析随机性 $K$-triviality 度量空间

引用

@article{arxiv.1403.5721,
  title  = {Logic Blog 2011},
  author = {André Nies},
  journal= {arXiv preprint arXiv:1403.5721},
  year   = {2014}
}