通过粗迭代比较精细结构小鼠
逻辑
2014-11-27 v2
摘要
设M是一个精细结构小鼠。设D是在可迭代粗前小鼠S内部计算出的完全背景化的L[E]构造。我们描述了一个通过形成M和S上的迭代树来比较M与D的过程。然后我们证明该过程成功。
引用
@article{arxiv.1309.6363,
title = {Comparison of fine structural mice via coarse iteration},
author = {Farmer Schlutzenberg and John R. Steel},
journal= {arXiv preprint arXiv:1309.6363},
year = {2014}
}