@DeityOfReligion @slatestarcodex divisors. multiples is a lot easier
@othercriteria I actually want to say that if p is a finite number, the object Z/p and the map Z -> Z/p are definable by finite formulas...
-
-
@othercriteria [p] is whatever is in the kernel of the map, which can easily be determined in any particular case, however you define Z. -
@othercriteria But that probably is not prissy enough for an ultrafinitist
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.