Theoretical Computer Science
hafeed's user avatar
hafeed's user avatar
hafeed's user avatar
hafeed
  • Member for 9 years
  • Last seen more than 5 years ago
Profile Activity
Stats
73
reputation
4k
reached
0
answers
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
7
Does there exist a sentence of first-order logic that is satisfiable only in infinite models that do not have a finite algorithmic representation?
May 29, 2014

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.