Polynomial time logic: Inability to express

Details Polynomial time logic: Inability to express Polynomial time logic: Inability to express

1998-07-15

arxiv.org/abs/math/9807179v1

Mathematics

Logic

Scientific paper

Here we deal with the logic of [GuSh 533], which tries to capture polynomial
time (for finite models). There it is proved that the logic cannot say much on
models with equality only. Here we prove that it cannot say much on models for
which we expect it cannot say much, like random enough graphs. This is the
result of having a general criterion.

Affiliated with

Also associated with

No associations

Rating

Polynomial time logic: Inability to express does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Polynomial time logic: Inability to express, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Polynomial time logic: Inability to express will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-7605