Interpolation and compactness in categories of pre-institutions (Q4715675): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Equational type logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the existence of free models in abstract algebraic institutions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Specifications in an arbitrary institution / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Institutions: abstract model theory for specification and programming / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A simple algebraic proof of the equational interpolation theorem / rank | |||
Normal rank | |||
Latest revision as of 14:43, 24 May 2024
scientific article; zbMATH DE number 946747
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolation and compactness in categories of pre-institutions |
scientific article; zbMATH DE number 946747 |
Statements
Interpolation and compactness in categories of pre-institutions (English)
0 references
21 April 1997
0 references
categories
0 references
compactness
0 references
interpolation
0 references
joint consistency
0 references
pre-institutions
0 references
institution
0 references
analogues of ultraproducts
0 references
