Reputation
Next privilege 250 Rep.
View close votes
Badges
2 11
Impact
~13k people reached

  • 0 posts edited
  • 0 helpful flags
  • 11 votes cast
Dec
6
comment Results about sentences in second order logic
This isn't a homework problem. Just reviewing for logic exam. To the second point, this makes sense, however I'm looking for statements like if S is true in a model of size k, then S' is true in every model of size >k or something like that
Dec
6
asked Results about sentences in second order logic
Nov
29
revised Prof involving completeness of the tree method
deleted 29 characters in body
Nov
29
comment Prof involving completeness of the tree method
I will remove appeals to the completeness of the tree method, since that is what I'm trying to prove.
Nov
28
asked Prof involving completeness of the tree method
Nov
3
accepted Showing a reduction between decision problems
Nov
3
comment Showing a reduction between decision problems
Sorry I was slightly confused reading this for a second. Thanks so much. I know it's pretty trivial, but I was just unsure
Nov
3
asked Showing a reduction between decision problems
Sep
19
accepted Solving this recurrence relation
Aug
30
awarded  Notable Question
Oct
13
awarded  Notable Question
Jul
2
awarded  Curious
Apr
9
awarded  Tumbleweed
Mar
17
asked Verify that this recurrence relation is in O(log n)
Mar
17
comment Solving this recurrence relation
This makes so much more sense. Thank you. I think reading the previous post just confused me.
Mar
17
comment Solving this recurrence relation
I thought about it just be something totally linear (that is proving that an<T(n)<bn for some constants a and b), but I'd have no real need for induction since its a fairly trivial claim so I'm thinking there must be more to it.
Mar
17
comment Solving this recurrence relation
haha thank you. I found the two answers given to this question came to the same conclusion, but were totally different in their approaches and I felt a tad mathematically complex for something which I wasn't expecting to be terribly difficult.
Mar
17
revised Solving this recurrence relation
added 1 characters in body
Mar
17
comment Solving this recurrence relation
Indeed I did. My apologies
Mar
17
revised Solving this recurrence relation
added 3 characters in body; edited title