Thomas Klimpel

1,784 reputation

1523

bio	website	jakitoimgeisterhaus.blogspot.…
	location	Munich, Germany
	age	36
visits	member for	1 year, 11 months
	seen	May 16 at 21:45
stats	profile views	353

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.

	1,784 reputation	bio	website	jakitoimgeisterhaus.blogspot.…	visits	member for	1 year, 11 months
1523 badges		location	Munich, Germany		seen	May 16 at 21:45

summary answers questions tags badges favorites bounties reputation activity

1,784 Reputation

graph time post

May 12

+15	19:47	3 events	Definition(s) for variable binding in first-order logic
+10	13:15	upvote	Should every group be a monoid, or should no group be a monoid?
+5	17:35	upvote	Why is quantified propositional logic not part of first-order logic?

May 5

13:37

Why is quantified propositional logic not part of first-order logic?

May 4

+2	10:53	accept	Paradox: Any set theory without universe set is not a model of itself
	23:25	accept	Monadic second order logic without constants, functions and equality

-15

Apr 29

Apr 28

Apr 26

Apr 25

Apr 21

Apr 18

Apr 7

Apr 6

Apr 5

Apr 2

Mar 25

Mar 23

Mar 20

Mar 14

Mar 13

Mar 11

Mar 6

Mar 2

Feb 27

Feb 7

Feb 4

Feb 1

Jan 7

Jan 3

Jan 2

Dec 22 '12

Dec 20 '12