3,377 reputation
1937
bio website jakitoimgeisterhaus.blogspot.…
location Munich, Germany
age 38
visits member for 3 years, 6 months
seen 2 days ago

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

I recently investigated hierarchical structures, starting from group cohomology, continuing with semi-group theory and ending with lattices and universal algebra.


Jul
7
accepted Which biased random sources can be obtained from an unbiased one?
Jul
7
asked Which biased random sources can be obtained from an unbiased one?
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Jun
25
accepted Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
25
answered Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
23
awarded  Yearling
Jun
22
asked Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
19
reviewed Looks OK $R[x]$ can be an integral extension of $R$?
Jun
19
reviewed Reject For $R$-modules $M,N$, what are sufficient conditions for $\operatorname{Supp}(M\otimes_R N)\subseteq \operatorname{Supp}(\operatorname{Hom}_R(M,N))$?
Jun
19
reviewed Reject Noetherian ring and prime ideal contained in an invertible maximal ideal.
Jun
19
reviewed Leave Open 3 random numbers to describe point on a sphere
Jun
19
reviewed Leave Open Ring of linear transformations modulo finite rank transformations
Jun
19
awarded  Custodian
Jun
19
reviewed Approve An elegant description for graded-module morphisms with non-zero zero component
Jun
9
comment Trying to calculate length of one parameter in complex geometrical object (polygon)
If you have to program this for some "real" application, you might also have to take care about the case H2 >> R. So a max(T/2, X) might be a good idea.
Jun
9
awarded  Custodian
Jun
9
comment Is there a (foundational) type theory with the features I'm looking for?
@MaliceVidrine I wouldn't necessary agree to your statements about NF(U), but you are right that I will need at least "Inf" in addition to TST, and that "Choice" won't really hurt. I don't know how to parse "Small Ordinals", but I guess it's something harmless similar to "Choice". I think the reason why Holmes and I discuss TST is that it is a baseline, which already has a quite significant consistency strength, but can be directly traced back to a philosophical position with corresponding explicit ontological commitments.
Jun
9
revised Is there a (foundational) type theory with the features I'm looking for?
Add a reference to the place where Randall Holmes discusses TST, and to ARD Mathias' papers
Jun
9
answered Type theory as foundations