Skip to main content
MathOverflow

Return to Question

added 139 characters in body
Source Link
Tim
Tim
  • 357
  • 1
  • 11

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

Part (b) of the corollary says that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

Given a set of formulas or identities, if a formula or identity is satisfied by some (algebraic) structure which satisfies the set of formulas or identities, then it is also satisfied by any (algebraic) structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement, either in Boolean algebra, or more generally in universal algebra, logic, or model theory?

  • Is the concept or property represented by the statement mentioned in some standard books in Boolean algebra, logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)? (Burris' universal algebra book has Chapter IV on Boolean algebra, which I wonder if has relevant coverage, and the chapter is not as easy to access as Mendelson's book for me now.)

Thanks.

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

Part (b) of the corollary says that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

Given a set of formulas or identities, if a formula or identity is satisfied by some (algebraic) structure which satisfies the set of formulas or identities, then it is also satisfied by any (algebraic) structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement, either in Boolean algebra, or more generally in universal algebra, logic, or model theory?

  • Is the concept or property represented by the statement mentioned in some standard books in logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)?

Thanks.

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

Part (b) of the corollary says that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

Given a set of formulas or identities, if a formula or identity is satisfied by some (algebraic) structure which satisfies the set of formulas or identities, then it is also satisfied by any (algebraic) structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement, either in Boolean algebra, or more generally in universal algebra, logic, or model theory?

  • Is the concept or property represented by the statement mentioned in some standard books in Boolean algebra, logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)? (Burris' universal algebra book has Chapter IV on Boolean algebra, which I wonder if has relevant coverage, and the chapter is not as easy to access as Mendelson's book for me now.)

Thanks.

added 68 characters in body
Source Link
Tim
Tim
  • 357
  • 1
  • 11

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

Part (ab) of Corollary saythe corollary says that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

Given a set of formulas or identities, if a formula or identity is satisfied by some (algebraic) structure which satisfies athe set of formulas or identities, then it is also satisfied by any structure(algebraic) structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement, either in Boolean algebra, or more generally in universal algebra, logic, or model theory?

  • Is the concept or property represented by the statement mentioned in some standard books in logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)?

Thanks.

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

(a) of Corollary say that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

if a formula or identity is satisfied by some structure which satisfies a set of formulas or identities, then it is also satisfied by any structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement?

  • Is the concept or property represented by the statement mentioned in some standard books in logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)?

Thanks.

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

Part (b) of the corollary says that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

Given a set of formulas or identities, if a formula or identity is satisfied by some (algebraic) structure which satisfies the set of formulas or identities, then it is also satisfied by any (algebraic) structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement, either in Boolean algebra, or more generally in universal algebra, logic, or model theory?

  • Is the concept or property represented by the statement mentioned in some standard books in logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)?

Thanks.

Source Link
Tim
Tim
  • 357
  • 1
  • 11

What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),

enter image description here

(a) of Corollary say that if an identity is satisfied by some algebra which satisfies the axioms of Boolean algebras, then it is satisfied by any algebra which satisfies the axioms of Boolean algebras.

In model theory, logic, and universal algebra, consider the following statement

if a formula or identity is satisfied by some structure which satisfies a set of formulas or identities, then it is also satisfied by any structure which satisfies the set of formulas or identities.

  • Is it true that the statement isn't true in general?

  • Is the statement true in a context other than or more general than Boolean algebra?

  • Is there a name for the concept or property represented by the statement?

  • Is the concept or property represented by the statement mentioned in some standard books in logic (e.g. Ebbinghaus'), universal algebra (e.g. Burris'), or model theory (e.g. Chang's)?

Thanks.