85
Voted
FUIN
2007
15 years 1 months ago
2007
Q− is a weaker variant of Robinson arithmetic Q in which addition and multiplication are partial functions, i.e. ternary relations that are graphs of possibly non-total function...