Pages that link to "Item:Q3797168"
From MaRDI portal
The following pages link to Preservation and Interpolation Through Binary Relations Between Theories (Q3797168):
Displaying 3 items.
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- Syntactic characterization of closure under connected limits (Q1210580) (← links)
- Representation and preservation of the metamathematical quotients of A. Robinson (Q1802263) (← links)