arXiv:1505.00118 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords pseudofinite structures, proof complexity, general model-theoretic task, computational class np, computational complexity Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset