Pages that link to "Item:Q2363208"

The following pages link to Uniform interpolation and compact congruences (Q2363208):

Displaying 8 items.

• Uniform interpolation and coherence (Q1740631) (← links)
• An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
• Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) (← links)
• Combined covers and Beth definability (Q2096445) (← links)
• Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
• Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)