The Boolean algebra of the theory of linear orders

DOI10.1007/BF02761195zbMath0437.03032OpenAlexW2018335742MaRDI QIDQ1141142

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

• Unnamed Item
• Unnamed Item
• The complete finitely axiomatized theories of order are dense
• An application of games to the completeness problem for formalized theories
• The Boolean algebras of abelian groups and well-orders
• The Boolean algebra of logic
• On the elementary theory of linear order

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