Google Answers: Model theory - satisfiability in FO^2 implies finite satisfiability

View Question

Q: Model theory - satisfiability in FO^2 implies finite satisfiability ( No Answer, 0 Comments )

Question

Subject: Model theory - satisfiability in FO^2 implies finite satisfiability
Category: Science > Math
Asked by: mathdude123-ga
List Price: $2.00

Posted: 29 Apr 2005 13:18 PDT
Expires: 09 May 2005 02:15 PDT
Question ID: 515923

My question is how to show the following: for every phi in FO^2 (first
order with at most 2 variables), if phi is satisfiable, then for some
finite structure A, A satisfies phi.

Answer

There is no answer at this time.

Comments

There are no comments at this time.

Important Disclaimer: Answers and comments provided on Google Answers are general information, and are not intended to substitute for informed professional medical, psychiatric, psychological, tax, legal, investment, accounting, or other professional advice. Google does not endorse, and expressly disclaims liability for any product, manufacturer, distributor, service or service provider mentioned or any opinion expressed in answers or comments. Please read carefully the Google Answers Terms of Service.

If you feel that you have found inappropriate content, please let us know by emailing us at answers-support@google.com with the question ID listed above. Thank you.

Search Google Answers for

Google Home - Answers FAQ - Terms of Service - Privacy Policy