FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000748170> ?p ?o ?g. }

• W2000748170 endingPage "366" @default.
• W2000748170 startingPage "263" @default.
• W2000748170 abstract "In this paper a complete model theory is constructed for classes of algebras and relational structures satisfying certain natural algebraic conditions. The paper a detailed exposition of the model theory of universal classes with the amalgamation property and applies this theory to the study of the foundations of various classical algebraic theories. As well the interrelationship of this new theory with the model theory of complete full theories is fully explored and the similarities and differences of the structure of these model theories is carefully delineated. We conclude that the model theory of universal classes with the amalgamation property has a structure closely related to the classical theory. Indeed many of the concepts introduced in the course of the paper are strict generalizations of classical notions. As wells it is shown that the full first order languages associated with the model theory of complete full theories have properties similar to the properties of the open languages associated with the model theory of universal classes with AP. Besides the construction of a new model theory the paper is intended to explore the consequences of the assumption of the amalgamation property, an algebraic mapping property which arises naturally in both modedl theory and algebra. In this regard it is shown that the structural and linguistic consequences of the assumption of this property are intimately connected. This provides us with new insights into the foundations of model theory. Finally, the construction of the model theory of universal classes with the amalgamation property establishes a very general framework and tool for the study of many algebraic and model theoretic notions. In the course of the paper we prove structure theorems, splitting theorems, and results concerned with the properties of extensions of models. Many of these results are new even in the classical case. In particular we developed a detailed local structure theory and prove that this theory extends the basic structure theory of the classical theory of affine varieties in algebraic geometry. Our results in this area provide a firm foundation for the study of a new class of geometric objects as well as resolving the representation problem for constructible subsets of affine varieties. We include many conjectures and open problems in the text of the paper." @default.
• W2000748170 created "2016-06-24" @default.
• W2000748170 creator A5080460415 @default.
• W2000748170 date "1977-10-01" @default.
• W2000748170 modified "2023-09-27" @default.
• W2000748170 title "Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra" @default.
• W2000748170 cites W1493110898 @default.
• W2000748170 cites W1589664198 @default.
• W2000748170 cites W1951287835 @default.
• W2000748170 cites W1979463531 @default.
• W2000748170 cites W1987570123 @default.
• W2000748170 cites W2000947982 @default.
• W2000748170 cites W2008907564 @default.
• W2000748170 cites W2029031961 @default.
• W2000748170 cites W2047282968 @default.
• W2000748170 cites W2050888701 @default.
• W2000748170 cites W2066091881 @default.
• W2000748170 cites W2134675812 @default.
• W2000748170 cites W2249228504 @default.
• W2000748170 cites W2333748530 @default.
• W2000748170 cites W2531387049 @default.
• W2000748170 cites W4238583526 @default.
• W2000748170 doi "https://doi.org/10.1016/0003-4843(77)90001-8" @default.
• W2000748170 hasPublicationYear "1977" @default.
• W2000748170 type Work @default.
• W2000748170 sameAs 2000748170 @default.
• W2000748170 citedByCount "6" @default.
• W2000748170 crossrefType "journal-article" @default.
• W2000748170 hasAuthorship W2000748170A5080460415 @default.
• W2000748170 hasBestOaLocation W20007481701 @default.
• W2000748170 hasConcept C111472728 @default.
• W2000748170 hasConcept C118615104 @default.
• W2000748170 hasConcept C136119220 @default.
• W2000748170 hasConcept C138885662 @default.
• W2000748170 hasConcept C188971069 @default.
• W2000748170 hasConcept C189950617 @default.
• W2000748170 hasConcept C202444582 @default.
• W2000748170 hasConcept C33923547 @default.
• W2000748170 hasConcept C47030870 @default.
• W2000748170 hasConceptScore W2000748170C111472728 @default.
• W2000748170 hasConceptScore W2000748170C118615104 @default.
• W2000748170 hasConceptScore W2000748170C136119220 @default.
• W2000748170 hasConceptScore W2000748170C138885662 @default.
• W2000748170 hasConceptScore W2000748170C188971069 @default.
• W2000748170 hasConceptScore W2000748170C189950617 @default.
• W2000748170 hasConceptScore W2000748170C202444582 @default.
• W2000748170 hasConceptScore W2000748170C33923547 @default.
• W2000748170 hasConceptScore W2000748170C47030870 @default.
• W2000748170 hasIssue "3" @default.
• W2000748170 hasLocation W20007481701 @default.
• W2000748170 hasOpenAccess W2000748170 @default.
• W2000748170 hasPrimaryLocation W20007481701 @default.
• W2000748170 hasRelatedWork W120744654 @default.
• W2000748170 hasRelatedWork W1557945163 @default.
• W2000748170 hasRelatedWork W1985218657 @default.
• W2000748170 hasRelatedWork W2020174565 @default.
• W2000748170 hasRelatedWork W2020478166 @default.
• W2000748170 hasRelatedWork W2064847051 @default.
• W2000748170 hasRelatedWork W2096753949 @default.
• W2000748170 hasRelatedWork W2742285599 @default.
• W2000748170 hasRelatedWork W2963341196 @default.
• W2000748170 hasRelatedWork W4249580765 @default.
• W2000748170 hasVolume "11" @default.
• W2000748170 isParatext "false" @default.
• W2000748170 isRetracted "false" @default.
• W2000748170 magId "2000748170" @default.
• W2000748170 workType "article" @default.