Project Page Index Table of Contents
  • Preliminaries
    • Decidable predicates
    • Semidecidable predicates
    • Enumerable predicates
    • Many-one reducibility
  • Church's thesis in type theory
    • Bauer's enumerability axiom EA
    • Richman's enumerability of partial functions EPF
  • 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
    • Constructions
  • Kleene trees
    • Omniscience principles as axioms on trees
    • WKL
    • WKL equivalences
    • Continuity
Generated by coqdoc and improved with CoqdocJS