Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912948900> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2912948900 abstract "An analysis of relationships between Craig-style interpolation, compactness, and other related model-theoretic properties is carried out in the softer framework of categories of pre-institutions. While the equivalence between sentence interpolation and the Robinson property under compactness and Boolean closure is well known, a similar result under different assumptions (not involving compactness) is newly established for presentation interpolation. The standard concept of naturality of model transformation is enriched by a new property, termed restriction adequacy, which proves useful for the reduction of interpolation along pre-institution transformations. A distinct reduction theorem for the Robinson property is presented as well. A variant of the ultraproduct concept is further introduced, and the related closure property for pre-institutions is shown to be equivalent to compactness" @default.
- W2912948900 created "2019-02-21" @default.
- W2912948900 creator A5039796516 @default.
- W2912948900 creator A5064465385 @default.
- W2912948900 date "1994-01-01" @default.
- W2912948900 modified "2023-09-23" @default.
- W2912948900 title "Interpolation and compactness in categories of pre-institutions" @default.
- W2912948900 hasPublicationYear "1994" @default.
- W2912948900 type Work @default.
- W2912948900 sameAs 2912948900 @default.
- W2912948900 citedByCount "0" @default.
- W2912948900 crossrefType "journal-article" @default.
- W2912948900 hasAuthorship W2912948900A5039796516 @default.
- W2912948900 hasAuthorship W2912948900A5064465385 @default.
- W2912948900 hasConcept C104114177 @default.
- W2912948900 hasConcept C111335779 @default.
- W2912948900 hasConcept C111472728 @default.
- W2912948900 hasConcept C118615104 @default.
- W2912948900 hasConcept C137800194 @default.
- W2912948900 hasConcept C138885662 @default.
- W2912948900 hasConcept C146834321 @default.
- W2912948900 hasConcept C154945302 @default.
- W2912948900 hasConcept C162324750 @default.
- W2912948900 hasConcept C167930466 @default.
- W2912948900 hasConcept C18648836 @default.
- W2912948900 hasConcept C189950617 @default.
- W2912948900 hasConcept C202444582 @default.
- W2912948900 hasConcept C2524010 @default.
- W2912948900 hasConcept C2780069185 @default.
- W2912948900 hasConcept C33923547 @default.
- W2912948900 hasConcept C34447519 @default.
- W2912948900 hasConcept C41008148 @default.
- W2912948900 hasConceptScore W2912948900C104114177 @default.
- W2912948900 hasConceptScore W2912948900C111335779 @default.
- W2912948900 hasConceptScore W2912948900C111472728 @default.
- W2912948900 hasConceptScore W2912948900C118615104 @default.
- W2912948900 hasConceptScore W2912948900C137800194 @default.
- W2912948900 hasConceptScore W2912948900C138885662 @default.
- W2912948900 hasConceptScore W2912948900C146834321 @default.
- W2912948900 hasConceptScore W2912948900C154945302 @default.
- W2912948900 hasConceptScore W2912948900C162324750 @default.
- W2912948900 hasConceptScore W2912948900C167930466 @default.
- W2912948900 hasConceptScore W2912948900C18648836 @default.
- W2912948900 hasConceptScore W2912948900C189950617 @default.
- W2912948900 hasConceptScore W2912948900C202444582 @default.
- W2912948900 hasConceptScore W2912948900C2524010 @default.
- W2912948900 hasConceptScore W2912948900C2780069185 @default.
- W2912948900 hasConceptScore W2912948900C33923547 @default.
- W2912948900 hasConceptScore W2912948900C34447519 @default.
- W2912948900 hasConceptScore W2912948900C41008148 @default.
- W2912948900 hasLocation W29129489001 @default.
- W2912948900 hasOpenAccess W2912948900 @default.
- W2912948900 hasPrimaryLocation W29129489001 @default.
- W2912948900 hasRelatedWork W116479447 @default.
- W2912948900 hasRelatedWork W163949134 @default.
- W2912948900 hasRelatedWork W176253734 @default.
- W2912948900 hasRelatedWork W1963649810 @default.
- W2912948900 hasRelatedWork W1979937416 @default.
- W2912948900 hasRelatedWork W2036577266 @default.
- W2912948900 hasRelatedWork W2044306290 @default.
- W2912948900 hasRelatedWork W2054171835 @default.
- W2912948900 hasRelatedWork W2069351567 @default.
- W2912948900 hasRelatedWork W2282382705 @default.
- W2912948900 hasRelatedWork W2342952741 @default.
- W2912948900 hasRelatedWork W2374412891 @default.
- W2912948900 hasRelatedWork W2381262881 @default.
- W2912948900 hasRelatedWork W2400952871 @default.
- W2912948900 hasRelatedWork W2499065539 @default.
- W2912948900 hasRelatedWork W270333296 @default.
- W2912948900 hasRelatedWork W2931983917 @default.
- W2912948900 hasRelatedWork W2969835243 @default.
- W2912948900 hasRelatedWork W585824775 @default.
- W2912948900 hasRelatedWork W6223167 @default.
- W2912948900 isParatext "false" @default.
- W2912948900 isRetracted "false" @default.
- W2912948900 magId "2912948900" @default.
- W2912948900 workType "article" @default.