Stratified formulas are equivalent to Acyclic formulas: A review

TL;DR

This paper reviews Nathan Bowler's proof demonstrating the equivalence of stratified and acyclic formulas, including detailed comments, clarifications, and technical discussions.

Contribution

It provides a detailed commentary and validation of Bowler's proof, clarifying the equivalence between stratified and acyclic formulas.

Findings

Confirmed the equivalence between stratified and acyclic formulas

Clarified technical aspects of Bowler's proof

Provided detailed commentary and corrections

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.