arXiv:1511.05221 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first order logic, weak godels incompleteness property, decidable versions, finitely generated free algebras, cylindric algebras Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset