Skip to main content

Prerequisite chain

Prerequisites for Proof Theory and Cut-Elimination

Topics you need before working through Proof Theory and Cut-Elimination. Direct prerequisites are listed first; transitive prerequisites (the chain reachable through them) follow.

Direct prerequisites (2)

  1. Basic Logic and Proof Techniqueslayer 0A, tier 2
  2. Type Theorylayer 0A, tier 2