3 problems

Let $R$ be an operator-only Pure Recursive Calculus with a recursor rule of the form … The step argument $s$ is unrestricted, and an internally definable measure means a measure sa…

Let $T_{1}$ be the base theory for list concatenation. For a finite sequence of pairwise distinct list variables $\vec{X}=(X_{1},\dots,X_{m})$ and a sequence of non-zero natural nu…

Differential cut elimination hypothesis. Differential cuts are necessary to prove a certain class of air traffic control properties.