Combining theories with shared set operations

Keyphrases

• Set Operations 100%
• Shared Set 100%
• Weak Monadic Second Order Logic 50%
• Ramsey Class 50%
• First-order Logic with Equality 50%
• Cardinality Constraint 50%
• Two-variable Logic 50%
• Finite Structures 50%
• Variable Operation 50%
• Counting Quantifiers 50%
• Propositional Connective 50%
• Free Logic 50%

Computer Science

• Boolean Algebra 100%
• Second-Order Logic 100%

Mathematics

• Decidability 100%