3,228 reputation
1833
bio website jakitoimgeisterhaus.blogspot.…
location Munich, Germany
age 38
visits member for 3 years, 2 months
seen 10 hours 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.


Aug
18
answered How much maths can we do in NF(U)?
Aug
16
answered Why learn to solve differential equations when computers can do it?
Aug
15
answered Can Goodstein's theorem be expressed as an axiom or axiom scheme in PA?
Aug
15
answered Which natural number predicates can be defined in Robinson arithmetic?
Jul
20
answered Why are box topology and product topology different on infinite products of topological spaces?
Jul
12
asked Which natural number predicates can be defined in Robinson arithmetic?
Jul
10
asked Can a biased physical random source be post-processed to control the bias?
Jul
7
asked Which biased random sources can be obtained from an unbiased one?
Jun
25
answered Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
22
asked Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
9
answered Type theory as foundations
Jun
9
answered Is there a (foundational) type theory with the features I'm looking for?
Jun
7
answered Is there a (foundational) type theory with the features I'm looking for?
Jun
1
answered How do I turn a “broken” plot into a smooth curve
Jun
1
answered Why aren't there any first-order sentences which have the property of being true in all non-standard models of PA and false in the standard one?
Jun
1
answered Can the divergence theorem be restricted to flat surfaces?
May
30
answered Provocations on the existence of mathematical objects
May
20
answered Shall remainder always be positive?
May
19
answered Difference between bound and free variable
May
17
asked Can Goodstein's theorem be expressed as an axiom or axiom scheme in PA?