Pages that link to "Item:Q1283132"
From MaRDI portal
The following pages link to Interpolation and amalgamation; pushing the limits. II (Q1283132):
Displaying 4 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Strong Amalgamation in Systems of Varieties (Q2810538) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
