Registry · Definition III.D112 established formalized

III.D112 — Gap Type

Three gap types: parity (Goldbach), density (twin primes), structural (ABC). Complete taxonomy of proof-theoretic gaps.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (3)

III.P44 III.P46 III.P48

Depended on by (6)

III.D111 III.D113 III.R47 III.R48 III.T79 III.T80

Lean Formalization

Module: TauLib.BookIII.Bridge.ConjectureGaps

Symbol: GapType