Can I read True Sentences in Direct Algebra Unions on EtoBox?

True Sentences in Direct Algebra Unions by johngreen13 is a document available to read on EtoBox.

What is True Sentences in Direct Algebra Unions about?

The document discusses sentences that are true for direct unions of algebras. It presents four theorems: 1. If a sentence is in prenex disjunctive normal form without inequalities and is true for the direct union, it is true for each factor algebra. 2. If a sentence is in prenex conjunctive normal form with all equations negated and is true for some factor algebra, it is true for the direct union. 3. If a sentence is in prenex disjunctive normal form where each term has at most one inequality and is tru

Author

johngreen13

Language

EN