Reputation
516
Top tag
Next privilege 1,000 Rep.
Create tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

  • 0 posts edited
  • 2 helpful flags
  • 178 votes cast
Feb
3
revised Inference rule for Non-Empty Domains
added 1 character in body
Feb
3
revised Inference rule for Non-Empty Domains
added 1 character in body
Feb
3
revised Inference rule for Non-Empty Domains
deleted 727 characters in body
Jan
6
revised Inference rule for Non-Empty Domains
added 4 characters in body
Jan
3
revised Inference rule for Non-Empty Domains
added 29 characters in body
Jan
2
revised Inference rule for Non-Empty Domains
added 9 characters in body
Aug
9
revised The “disjunction” of two theories
deleted 97 characters in body
Dec
30
revised Skolemization of a Formula
edited body
Dec
29
revised Skolemization of a Formula
deleted 5 characters in body
Dec
29
revised Skolemization of a Formula
edited tags
Dec
29
revised Skolemization of a Formula
deleted 99 characters in body
Dec
29
revised Skolemization of a Formula
added 98 characters in body
Dec
29
revised Is the validity of the Skolemization of a sentence A infers the validity of A?
edited body
Sep
23
revised Induction, how often?
added 43 characters in body
Sep
23
revised Induction, how often?
deleted 1 characters in body
Sep
21
revised What are the historical roots of cryptarithmetic?
added 58 characters in body
Aug
25
revised What kind of logics satisfy the coincidence lemma?
added 286 characters in body; edited title
Aug
22
revised What kind of logics satisfy the coincidence lemma?
edited body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 123 characters in body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 239 characters in body