Stably Infinite Theory (Satisfiability Modulo Theory)

Definition

Stably Infinite Theory (Satisfiability Modulo Theory)

A theory with signature is stably infinite if for every -satisfiable formula, there exists some -interpretation such that

Examples

• Theory of equality with uninterpreted functions
• Theory of arrays
• Theory of linear integer arithmetic