Pages that link to "Item:Q4715675"
From MaRDI portal
The following pages link to Interpolation and compactness in categories of pre-institutions (Q4715675):
Displaying 7 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- (Q3978985) (← links)