We developed a formal ontology of sequences, based on the General Formal Ontology. It is implemented in predicate logic. A large part of the theory is developed in first order logic. A small set of axioms require second order logic.

The old axiom system can still be found here: Attach:sequences-old.txt