论文标题
分层公式相当于无环公式：审查
Stratified formulas are equivalent to Acyclic formulas: A review
论文作者
论文摘要
本文档包括我对内森·鲍勒（Nathan Bowler）的证据的评论，即每个分层公式都等同于无环公式。内森（Nathan）的全部证明完全被引用，就像他给我的信息中所呈现的那样。评论是澄清我发送给托马斯·福斯特（Thomas Forster）的电子邮件以及与内森·鲍勒（Nathan Bowler）的电子邮件通信的编辑。次要的技术问题也被解决。
This document include my comments on Nathan Bowler's proof that every stratified formula is equivalent to an acyclic formula. The whole proof of Nathan's is quoted exactly as it's presented in his messages to me. The comments are edits of clarifying e-mail messages that I have sent to Thomas Forster as well as e-mail correspondence with Nathan Bowler. Minor technical issues are addressed too.
