Switch to: References

Add citations

You must login to add citations.
  1. The Boolean Algebra of Formulas of First-Order Logic.Don H. Faust - 1982 - Annals of Pure and Applied Logic 23 (1):27.
    The algebraic 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 factors 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.
    Direct download (4 more)  
    Export citation