Skip to main content

Where this topic leads

Topics that build on Proof Theory and Cut-Elimination

Once you have Proof Theory and Cut-Elimination, these are the topics that cite it as a prerequisite. Pick by tier and the area you want to push into next.

No published topics currently cite Proof Theory and Cut-Elimination as a prerequisite. This may be a terminal topic in the graph, or other topics may not have declared the dependency yet.