Pages that link to "Item:Q1254309"

The following pages link to Model-companions and definability in existentially complete structures (Q1254309):

Displaying 22 items.

• The countable existentially closed pseudocomplemented semilattice (Q527338) (← links)
• Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
• On algebraic closure and amalgamation of semigroups (Q786933) (← links)
• Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
• Model completions and r-Heyting categories (Q1372155) (← links)
• Uniform interpolation and coherence (Q1740631) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• Right ideal Howson semigroups (Q2227621) (← links)
• Model completeness, covers and superposition (Q2305411) (← links)
• On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
• Free Monoids are Coherent (Q2976355) (← links)
• A characterization of companionable, universal theories (Q4172042) (← links)
• Quantifier Elimination and Provers Integration (Q4916219) (← links)
• SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
• EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
• Coherency, free inverse monoids and related free algebras (Q5360449) (← links)
• A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS (Q5738190) (← links)
• On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
• A rank for right congruences on inverse semigroups (Q5756323) (← links)
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
• Coherency for monoids and purity for their acts (Q6175951) (← links)