Definition of Dedekind Cut Addition
52484
Sum of two Dedekind cuts is well-defined
45958
Proof that the Euler characteristic is additive
14849
Decidability of a predicate.
95373
Additive set function on a semiring of sets
75120
Polynomial arithmetic uses coefficient ring arithmetic
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
147496
Rules of thumb for divisibility
8434
Order of $\mathbb{Z}[i]/(1+i)$
58773
What does the operation c=a+++b mean?
85422
What is the behavior of integer division?
114418
A deduction from $x^n-1=(x^2-1)\prod_{k=1}^{(n-2)/2}[x^2-2x\cos{\frac{2k\pi}{n}}+1]$
140829
What does $b_i\mid b_{i+1}$ mean in this context?
5738
Cancellation of addition on convex sets
106313
How Does Modulus Divison Work
87257
How to prove this sequent using natural deduction?
73504
Why $(a+d)(b+c)$ equals $-16$?
89164
When is the graph of the divisor relation on $[n]$ planar?