3,770 reputation
1839
bio website
location Germany
age 48
visits member for 3 years, 11 months
seen 5 hours ago

My interests:

  • abstract structures
    (e.g. graphs, groups, polytopes, spaces, ...)

    in the course of this

  • category theory

  • model theory

  • presentations and representations
    (e.g. of abstract structures by or inside other abstract structures)

    next to this

  • philosophy
    (esp. of mathematics, science, and mind)

    especially concerned with

  • atomism
    (i.e. reductionistic or other theories referring to some kind of "atoms")

  • their refutations


20h
accepted Automorphisms of $\langle \mathbb{N}, \cdot \rangle$
20h
comment Automorphisms of $\langle \mathbb{N}, \cdot \rangle$
That means: In my definition it should have been "is an automorphism", opposed to the weaker "induces an isomorphism".
20h
asked Automorphisms of $\langle \mathbb{N}, \cdot \rangle$
1d
answered Different arithmetics
1d
revised Different arithmetics
added Skolem arithmetic
Aug
17
revised Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
deleted 20 characters in body
Aug
17
revised Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
added 6 characters in body
Aug
17
revised Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
deleted 20 characters in body
Aug
17
answered Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
Aug
17
comment Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
Thanks, Michael, for the TeX-nical improvements!
Aug
17
revised Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
added 16 characters in body
Aug
17
revised Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
added 4 characters in body
Aug
17
asked Recursive definitions of $n<m$, $n\mid m$, and $n \bmod m$
Aug
14
revised Different arithmetics
added 10 characters in body
Aug
14
comment Different arithmetics
You don't necessarily need set theory (or second order logic) to define/construct $+$, $\times$ and so on, do you? You can equivalently use the operators to construct recursive functions.
Aug
13
asked Different arithmetics
Aug
9
accepted Definition and decidability of bounded quantifiers
Jul
27
comment Definition and decidability of bounded quantifiers
What about the Wikipedia defintion: en.wikipedia.org/wiki/Bounded_quantifier ?
Jul
27
revised Definition and decidability of bounded quantifiers
added 4 characters in body
Jul
27
asked Definition and decidability of bounded quantifiers