Project Page Index Table of Contents
  • Axioms for synthetic computability
    • Synthetic Church's thesis
  • Halting problems
  • CT in relation to other axioms
    • Provable choice axioms
    • Extensionality axioms
    • Classical logical axioms
    • Axioms of russian constructivism
    • Choice axioms
    • Brouwer's intuitionism
    • Finite types
    • Infinite types and predicates
  • Decidability and Enumerability
    • Decidability
      • Discrete types
    • Enumerability
      • Enumerable types
    • List enumerability
    • Definitions
    • Pre-order properties
    • Semi-decidability
  • Reducibility
    • Many-one reducibility
    • One-one reducibility
    • Truth-table reducibility
    • Total Turing reducibility
Generated by coqdoc and improved with CoqdocJS