arXiv:1909.01697 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords efficient elimination, first-order logic, single skolem function, pure logic increases, henkin constants Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset