719 reputation
411
bio website
location
age
visits member for 3 years, 8 months
seen 4 hours ago

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
Apr
8
revised Undecidability in ZFC
added 703 characters in body
Mar
31
revised First-order Indistinguishibility of “the continuum”
added 5 characters in body
Jan
31
revised Example of an UnDecidable Logical Theory which is an extension of a Logical Decidable Theory?
added 245 characters in body
Jan
30
revised Example of an UnDecidable Logical Theory which is an extension of a Logical Decidable Theory?
added 37 characters in body