Matches in SemOpenAlex for { <https://semopenalex.org/work/W89386314> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W89386314 abstract "Following work on abstracting the concept of an algebra to that of an algebraic system and of an ordered algebra to that of an ordered algebraic system, the notion of a flrst-order structure is abstracted to obtain structure systems. The algebraic part of a structure system is an algebraic system rather than an algebra as is the case in the ordinary flrst-order structures. This abstraction is accompanied by the introduction of a suitably modifled notion of a countable flrst-order language with the aim of developing a flrst-order model theory of structure systems and, therefore, axiomatizing classes of structure systems. After introducing some basic constructions on structure systems, including the ultraproduct construction, an analog of ˆ" @default.
- W89386314 created "2016-06-24" @default.
- W89386314 creator A5078947872 @default.
- W89386314 date "2018-08-13" @default.
- W89386314 modified "2023-09-23" @default.
- W89386314 title "Categorical abstract algebraic logic" @default.
- W89386314 cites W1498751601 @default.
- W89386314 cites W1499603660 @default.
- W89386314 cites W1527324030 @default.
- W89386314 cites W1549977012 @default.
- W89386314 cites W1550394161 @default.
- W89386314 cites W1576273408 @default.
- W89386314 cites W160811697 @default.
- W89386314 cites W1829303854 @default.
- W89386314 cites W1865723969 @default.
- W89386314 cites W1974483963 @default.
- W89386314 cites W1994584977 @default.
- W89386314 cites W1999780552 @default.
- W89386314 cites W2004384679 @default.
- W89386314 cites W2004736333 @default.
- W89386314 cites W2006385373 @default.
- W89386314 cites W2009331573 @default.
- W89386314 cites W2010883554 @default.
- W89386314 cites W2021257181 @default.
- W89386314 cites W2036857782 @default.
- W89386314 cites W2043292442 @default.
- W89386314 cites W2075571364 @default.
- W89386314 cites W2077395144 @default.
- W89386314 cites W2084867820 @default.
- W89386314 cites W2086288211 @default.
- W89386314 cites W2088544307 @default.
- W89386314 cites W2093865192 @default.
- W89386314 cites W2095367681 @default.
- W89386314 cites W2095721721 @default.
- W89386314 cites W2107674601 @default.
- W89386314 cites W2109696340 @default.
- W89386314 cites W2120713972 @default.
- W89386314 cites W2153500812 @default.
- W89386314 cites W2253467077 @default.
- W89386314 cites W2388408070 @default.
- W89386314 cites W2397416409 @default.
- W89386314 cites W2493333586 @default.
- W89386314 cites W2499785653 @default.
- W89386314 cites W2574677321 @default.
- W89386314 cites W2799061192 @default.
- W89386314 cites W2914821813 @default.
- W89386314 cites W3127823229 @default.
- W89386314 cites W583126019 @default.
- W89386314 doi "https://doi.org/10.31274/rtd-180813-10818" @default.
- W89386314 hasPublicationYear "2018" @default.
- W89386314 type Work @default.
- W89386314 sameAs 89386314 @default.
- W89386314 citedByCount "17" @default.
- W89386314 countsByYear W893863142013 @default.
- W89386314 countsByYear W893863142016 @default.
- W89386314 crossrefType "dissertation" @default.
- W89386314 hasAuthorship W89386314A5078947872 @default.
- W89386314 hasBestOaLocation W893863141 @default.
- W89386314 hasConcept C105795698 @default.
- W89386314 hasConcept C134306372 @default.
- W89386314 hasConcept C136119220 @default.
- W89386314 hasConcept C202444582 @default.
- W89386314 hasConcept C33923547 @default.
- W89386314 hasConcept C41008148 @default.
- W89386314 hasConcept C5274069 @default.
- W89386314 hasConcept C9376300 @default.
- W89386314 hasConceptScore W89386314C105795698 @default.
- W89386314 hasConceptScore W89386314C134306372 @default.
- W89386314 hasConceptScore W89386314C136119220 @default.
- W89386314 hasConceptScore W89386314C202444582 @default.
- W89386314 hasConceptScore W89386314C33923547 @default.
- W89386314 hasConceptScore W89386314C41008148 @default.
- W89386314 hasConceptScore W89386314C5274069 @default.
- W89386314 hasConceptScore W89386314C9376300 @default.
- W89386314 hasLocation W893863141 @default.
- W89386314 hasLocation W893863142 @default.
- W89386314 hasOpenAccess W89386314 @default.
- W89386314 hasPrimaryLocation W893863141 @default.
- W89386314 hasRelatedWork W1506668851 @default.
- W89386314 hasRelatedWork W1996301369 @default.
- W89386314 hasRelatedWork W2069832399 @default.
- W89386314 hasRelatedWork W2177703916 @default.
- W89386314 hasRelatedWork W2347184063 @default.
- W89386314 hasRelatedWork W2734730831 @default.
- W89386314 hasRelatedWork W2885964212 @default.
- W89386314 hasRelatedWork W2892231951 @default.
- W89386314 hasRelatedWork W2962741511 @default.
- W89386314 hasRelatedWork W3022934899 @default.
- W89386314 isParatext "false" @default.
- W89386314 isRetracted "false" @default.
- W89386314 magId "89386314" @default.
- W89386314 workType "dissertation" @default.