Reputation
779
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 11
Newest
 Curious
Impact
~36k people reached

  • 0 posts edited
  • 0 helpful flags
  • 92 votes cast
Jan
15
revised “Minimal upper bounds” in a categorical setting
added 1 character in body
Jan
6
revised Number of k-ary monotone maps from 1..n+1 to 1..n+1.
added 1 character in body
Jan
6
revised Number of k-ary monotone maps from 1..n+1 to 1..n+1.
edited body
Jan
6
revised Number of k-ary monotone maps from 1..n+1 to 1..n+1.
added 371 characters in body
Mar
31
revised Need help locating a paper
deleted 4 characters in body
Apr
2
revised Best Fake Proofs? (A M.SE April Fools Day collection)
added 45 characters in body
May
11
revised Mutual Uniqueness of Operations in PA models
added 5 characters in body
Apr
14
revised Software for checking whether there is a monomial ordering satisfying some constraints
added 28 characters in body
Apr
14
revised Software for checking whether there is a monomial ordering satisfying some constraints
added 3 characters in body
Feb
7
revised Is there anything deep about Fuzzy sets/Fuzzy logic?
deleted 3 characters in body
Oct
22
revised Software for some universal algebra issues
added 1 characters in body
Aug
9
revised Undecidability in ZFC of statements concerning logical validity
deleted 1 characters in body
Aug
9
revised Undecidability in ZFC of statements concerning logical validity
added 3 characters in body
Aug
9
revised Undecidability in ZFC of statements concerning logical validity
added 3 characters in body
Jun
30
revised About the pointwise infimum of a continuous piecewise linear function
edited title
Jun
2
revised The first-order theory of linear orders given by closed subsets
deleted 434 characters in body
Jun
2
revised The first-order theory of linear orders given by closed subsets
added 419 characters in body; added 17 characters in body
Jun
2
revised A question on linear orders and elementary equivalence
added 228 characters in body; added 1 characters in body
Jun
2
revised A question on linear orders and elementary equivalence
added 408 characters in body; added 4 characters in body
Jun
2
revised A question on linear orders and elementary equivalence
deleted 1 characters in body