Concept coverage

How much of Structure’s own ontology (Ontology.toml) actually has a formalized declaration behind it: 16 of 17 concepts have at least one, so far. Drag to pan, Ctrl+scroll (or Cmd+scroll, or pinch on a touch screen) to zoom, click a concept to jump to it below. The same concepts are also listed as headings below the graph, in reading order, if that’s easier to browse.

thickmoderatethinuncoveredcoversprecedes
legend

Other concepts

Not part of the lecture order or covered by anything else in the ontology.

arithmetic (16)

(no declarations yet)

definite-description (1)

recursive-definition (5)

primitive-recursion (4)
multiplication (1)
exponentiation (1)

tower-of-finite-models (2)

model-of-arithmetic (6)

zero (1)

successor (1)

peano-postulate (3)

ultrafinitism (1)
categoricity (1)

zero (1)

successor (1)

peano-postulate (3)

ultrafinitism (1)

categoricity (1)

ultrafinitism (1)

definite-description (1)

recursive-definition (5)

primitive-recursion (4)

addition (1)
multiplication (1)
exponentiation (1)

primitive-recursion (4)

addition (1)

multiplication (1)

exponentiation (1)

addition (1)

multiplication (1)

exponentiation (1)

termination (2)

halting (1)

halting (1)

tower-of-finite-models (2)

colimit (1)

colimit (1)

categoricity (1)