- Diophantine logic
- Elementary diophantine constraints
- Single Diophantine equations
- Object-level encoding of exponential
- Object-level encoding of bounded universal quantification I
- Object-level encoding of bounded universal quantification II
- Object-level encoding of bounded universal quantification III
- Reflexive transitive closure is Diophantine
- FRACTRAN termination is Diophantine