The Boolean algebra of the theory of linear orders

DOI10.1007/BF02761195MaRDI QIDQ1141142zbMATH OpenOpenAlexFDO

Authors Dale Myers

Publication date 1980

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02761195

zbMATH Keywords

Lindenbaum algebraisomorphism typeBoolean sentence algebratheory of equivalence relationstheory of linear orderstheory of permutationstheory of well-orders

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logical aspects of Boolean algebras (03G05)

Cites work

• scientific article; zbMATH DE number 3536074 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• An application of games to the completeness problem for formalized theories
• On the elementary theory of linear order
• The Boolean algebra of logic
• The Boolean algebras of abelian groups and well-orders
• The complete finitely axiomatized theories of order are dense

This page was built for publication: The Boolean algebra of the theory of linear orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1141142)