Stratified formulas are equivalent to Acyclic formulas: A review
Logic
2020-10-06 v2
Abstract
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.
Cite
@article{arxiv.2009.13274,
title = {Stratified formulas are equivalent to Acyclic formulas: A review},
author = {Zuhair Al-Johar},
journal= {arXiv preprint arXiv:2009.13274},
year = {2020}
}
Comments
8 pages