Matches in SemOpenAlex for { <https://semopenalex.org/work/W200321523> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W200321523 abstract "We have shown earlier that the theories which uniformly admit initial families of models resp. disjoint initial families of models resp. initial models are exactly those which are closed under equalizers resp. equalizers and pullbacks (= connected limits) resp. equalizers and products (= arbitrary limits). In addition, syntactical characterizations had been given. To obtain an analogous result for pullbacks we have to weaken the initiality notions. Weakening the uniqueness of the morphism to a uniqueness up to an isomorphism we arrive at the corresponding quasiinitiality notions. As a new result we shall show that the theories which uniformly admit disjoint quasiinitial families of models resp. quasiinitial models are exactly those which are closed under pullbacks resp. pullbacks and products (= arbitrary limits). As a tool we use a localized version of initiality which was suggested by J.Adamek. Using our result Hébert recently obtained a syntactical characterization for the case of disjoint quasiinitial families. In the case of quasiinitial families the characterization by means of certain class of limit constructions is still an open problem." @default.
- W200321523 created "2016-06-24" @default.
- W200321523 creator A5045166223 @default.
- W200321523 date "1993-04-01" @default.
- W200321523 modified "2023-09-24" @default.
- W200321523 title "Initial and Quasiinitial Models of Theories" @default.
- W200321523 doi "https://doi.org/10.3233/fi-1993-182-418" @default.
- W200321523 hasPublicationYear "1993" @default.
- W200321523 type Work @default.
- W200321523 sameAs 200321523 @default.
- W200321523 citedByCount "1" @default.
- W200321523 crossrefType "journal-article" @default.
- W200321523 hasAuthorship W200321523A5045166223 @default.
- W200321523 hasConcept C111472728 @default.
- W200321523 hasConcept C138885662 @default.
- W200321523 hasConcept C199343813 @default.
- W200321523 hasConcept C2777686260 @default.
- W200321523 hasConcept C33923547 @default.
- W200321523 hasConcept C41008148 @default.
- W200321523 hasConcept C71924100 @default.
- W200321523 hasConceptScore W200321523C111472728 @default.
- W200321523 hasConceptScore W200321523C138885662 @default.
- W200321523 hasConceptScore W200321523C199343813 @default.
- W200321523 hasConceptScore W200321523C2777686260 @default.
- W200321523 hasConceptScore W200321523C33923547 @default.
- W200321523 hasConceptScore W200321523C41008148 @default.
- W200321523 hasConceptScore W200321523C71924100 @default.
- W200321523 hasLocation W2003215231 @default.
- W200321523 hasOpenAccess W200321523 @default.
- W200321523 hasPrimaryLocation W2003215231 @default.
- W200321523 hasRelatedWork W1899652800 @default.
- W200321523 hasRelatedWork W2020623892 @default.
- W200321523 hasRelatedWork W2074009054 @default.
- W200321523 hasRelatedWork W2338104940 @default.
- W200321523 hasRelatedWork W2476207262 @default.
- W200321523 hasRelatedWork W2479710995 @default.
- W200321523 hasRelatedWork W2479807356 @default.
- W200321523 hasRelatedWork W2480771242 @default.
- W200321523 hasRelatedWork W2488890383 @default.
- W200321523 hasRelatedWork W2489546615 @default.
- W200321523 hasRelatedWork W2494592096 @default.
- W200321523 hasRelatedWork W2507003827 @default.
- W200321523 hasRelatedWork W2739193211 @default.
- W200321523 hasRelatedWork W2779338339 @default.
- W200321523 hasRelatedWork W2937722249 @default.
- W200321523 hasRelatedWork W2953460871 @default.
- W200321523 hasRelatedWork W2998400252 @default.
- W200321523 hasRelatedWork W3005795106 @default.
- W200321523 hasRelatedWork W564866866 @default.
- W200321523 hasRelatedWork W578711263 @default.
- W200321523 isParatext "false" @default.
- W200321523 isRetracted "false" @default.
- W200321523 magId "200321523" @default.
- W200321523 workType "article" @default.