The algebraic and recursive structure of countable languages of classical first-order logic with equality is analysed. All languages of finite undecidable similarity type are shown to be algebraically and recursively equivalent in the following sense: their Boolean algebras of formulas are, after trivial involving the one element models of the languages have been excepted, recursively isomorphic by a map which preserves the degree of recursiveness of their models. © 1982.
CITATION STYLE
Faust, D. H. (1982). The Boolean algebra of formulas of first-order logic. Annals of Mathematical Logic, 23(1), 27–53. https://doi.org/10.1016/0003-4843(82)90009-2
Mendeley helps you to discover research relevant for your work.