bio | website | |
---|---|---|
location | Arizona State University | |
age | ||
visits | member for | 1 year, 7 months |
seen | Feb 25 '13 at 4:27 | |
stats | profile views | 166 |
Dec 14 |
awarded | Yearling |
Jun 25 |
awarded | Enlightened |
Jun 25 |
awarded | Nice Answer |
May 3 |
awarded | Nice Question |
Feb 22 |
comment |
Status of the 196 conjecture?
Aaron: Sorry I missed your comment! That's an exciting idea! Could you possibly state your conjecture more explicitly? Are you trying to give a necessary and sufficient condition for $s(x)$ to be a palindrome? |
Feb 12 |
revised |
Status of the 196 conjecture?
added 86 characters in body |
Feb 12 |
comment |
Status of the 196 conjecture?
Aaron: Shoot! I will try to see where I have gone wrong. |
Feb 12 |
revised |
Status of the 196 conjecture?
deleted 14 characters in body |
Feb 12 |
comment |
Math major at 36
Thank you, Andre! |
Feb 12 |
answered | Math major at 36 |
Feb 12 |
revised |
Status of the 196 conjecture?
Fixed error in proof.; added 72 characters in body |
Feb 12 |
answered | Status of the 196 conjecture? |
Jan 19 |
comment |
Compactness-like property for universal generalization?
Goldstern: Ah, I understand. That's a useful insight; thank you! |
Jan 19 |
comment |
Compactness-like property for universal generalization?
Goldstern: My trouble is figuring out what other relations between the models might be relevant here. (Obviously I'll post if I figure that out.) Unfortunately, I do not understand the part in quotation marks. :-/ (Care to explain more?) $\phi$ does not mention the well-order. Francois: Thanks for the suggestion! I am going to play with it and see if it gets me anywhere. |
Jan 19 |
comment |
Compactness-like property for universal generalization?
Andres: That's an excellent question, and it shows that what I'm asking for can't be done in general. In my specific problem, $\phi(x)$ has a form which excludes that case. But it seems clear that I haven't asked the right question, because I haven't included enough constraints to yield a solvable problem. I will see if I can repair my question; and in the meantime, thanks for your help! |
Jan 19 |
revised |
Compactness-like property for universal generalization?
deleted 8 characters in body |
Jan 19 |
asked | Compactness-like property for universal generalization? |
Dec 31 |
accepted | Constructible models of New Foundations? |
Dec 30 |
comment |
Constructible models of New Foundations?
Andreas: Excellent, thanks! |
Dec 30 |
comment |
Constructible models of New Foundations?
@Andreas: Thanks; I'll edit the question. I'd like to use the trick you described for eliminating parameters in a proof I'm writing. Is it something you thought of in this thread, and if so may I cite your comments here? Thank you! |