Abstract
In this survey, with no proofs included, we collect some material scattered through recent papers and a planned monograph, which shows that partial algebras do have a two-valued first order model theory which is simpler and nicer than one might have expected it to be. In section 1 we comment and present some basic definitions. In section 2 a correct and complete two-valued first order logic is developed. In section 3 the three main concepts of “varieties” are presented, while sections 4 and 5 contain some additional axiomatizability results and some applications, respectively. Section 6 contains some additional remarks.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
