Project Page Index Table of Contents
  • Prenex Normal Form
  • Arithmetical Hierarchy
    • Arithmetical Hierarchy in First-Order Arithmetic
    • Arithmetical Hierarchy in Type Theory
    • Equivalence of Both Definitions
  • Synthetic Oracle Computability
    • Oracle Machines
    • Turing Reductions
    • Oracle Semi-decidability
    • Determinacy of Oracle Machines by Their Cores
    • Comparison to Forster-Kirst
  • Turing Jump
    • Enumerating Oracle Machines
    • Synthetic Turing Jump
  • Post's Theorem
Generated by coqdoc and improved with CoqdocJS