FRINK Linked Data Fragments server

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

• W2022150940 abstract "We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an infinite number of non-canonical formulas. We also show that the class of structures for each of these varieties is non-elementary. The proofs employ algebras derived from random graphs." @default.
• W2022150940 created "2016-06-24" @default.
• W2022150940 creator A5076274772 @default.
• W2022150940 creator A5089402969 @default.
• W2022150940 date "2013-09-01" @default.
• W2022150940 modified "2023-10-18" @default.
• W2022150940 title "Bare canonicity of representable cylindric and polyadic algebras" @default.
• W2022150940 cites W142053201 @default.
• W2022150940 cites W1603162778 @default.
• W2022150940 cites W1968888224 @default.
• W2022150940 cites W1992205482 @default.
• W2022150940 cites W2013191336 @default.
• W2022150940 cites W2017096836 @default.
• W2022150940 cites W2018384874 @default.
• W2022150940 cites W2023847822 @default.
• W2022150940 cites W2032543872 @default.
• W2022150940 cites W2046750700 @default.
• W2022150940 cites W2070636184 @default.
• W2022150940 cites W2073279331 @default.
• W2022150940 cites W2095689360 @default.
• W2022150940 cites W2108163838 @default.
• W2022150940 cites W2109696340 @default.
• W2022150940 cites W2115916694 @default.
• W2022150940 cites W2137892160 @default.
• W2022150940 cites W2161439427 @default.
• W2022150940 cites W2315064349 @default.
• W2022150940 cites W2610670723 @default.
• W2022150940 cites W2799061192 @default.
• W2022150940 cites W614839917 @default.
• W2022150940 cites W632134755 @default.
• W2022150940 doi "https://doi.org/10.1016/j.apal.2013.04.002" @default.
• W2022150940 hasPublicationYear "2013" @default.
• W2022150940 type Work @default.
• W2022150940 sameAs 2022150940 @default.
• W2022150940 citedByCount "17" @default.
• W2022150940 countsByYear W20221509402014 @default.
• W2022150940 countsByYear W20221509402015 @default.
• W2022150940 countsByYear W20221509402016 @default.
• W2022150940 countsByYear W20221509402018 @default.
• W2022150940 countsByYear W20221509402020 @default.
• W2022150940 countsByYear W20221509402021 @default.
• W2022150940 crossrefType "journal-article" @default.
• W2022150940 hasAuthorship W2022150940A5076274772 @default.
• W2022150940 hasAuthorship W2022150940A5089402969 @default.
• W2022150940 hasBestOaLocation W20221509401 @default.
• W2022150940 hasConcept C10138342 @default.
• W2022150940 hasConcept C108710211 @default.
• W2022150940 hasConcept C118615104 @default.
• W2022150940 hasConcept C130367717 @default.
• W2022150940 hasConcept C136119220 @default.
• W2022150940 hasConcept C14394260 @default.
• W2022150940 hasConcept C154945302 @default.
• W2022150940 hasConcept C162324750 @default.
• W2022150940 hasConcept C182306322 @default.
• W2022150940 hasConcept C202444582 @default.
• W2022150940 hasConcept C203254541 @default.
• W2022150940 hasConcept C2524010 @default.
• W2022150940 hasConcept C2777212361 @default.
• W2022150940 hasConcept C33923547 @default.
• W2022150940 hasConcept C41008148 @default.
• W2022150940 hasConcept C518143113 @default.
• W2022150940 hasConceptScore W2022150940C10138342 @default.
• W2022150940 hasConceptScore W2022150940C108710211 @default.
• W2022150940 hasConceptScore W2022150940C118615104 @default.
• W2022150940 hasConceptScore W2022150940C130367717 @default.
• W2022150940 hasConceptScore W2022150940C136119220 @default.
• W2022150940 hasConceptScore W2022150940C14394260 @default.
• W2022150940 hasConceptScore W2022150940C154945302 @default.
• W2022150940 hasConceptScore W2022150940C162324750 @default.
• W2022150940 hasConceptScore W2022150940C182306322 @default.
• W2022150940 hasConceptScore W2022150940C202444582 @default.
• W2022150940 hasConceptScore W2022150940C203254541 @default.
• W2022150940 hasConceptScore W2022150940C2524010 @default.
• W2022150940 hasConceptScore W2022150940C2777212361 @default.
• W2022150940 hasConceptScore W2022150940C33923547 @default.
• W2022150940 hasConceptScore W2022150940C41008148 @default.
• W2022150940 hasConceptScore W2022150940C518143113 @default.
• W2022150940 hasLocation W20221509401 @default.
• W2022150940 hasLocation W20221509402 @default.
• W2022150940 hasOpenAccess W2022150940 @default.
• W2022150940 hasPrimaryLocation W20221509401 @default.
• W2022150940 hasRelatedWork W10780945 @default.
• W2022150940 hasRelatedWork W1501863720 @default.
• W2022150940 hasRelatedWork W1571614172 @default.
• W2022150940 hasRelatedWork W1580101121 @default.
• W2022150940 hasRelatedWork W1906121114 @default.
• W2022150940 hasRelatedWork W1989225341 @default.
• W2022150940 hasRelatedWork W1998056081 @default.
• W2022150940 hasRelatedWork W2005985369 @default.
• W2022150940 hasRelatedWork W2046708447 @default.
• W2022150940 hasRelatedWork W2050061639 @default.
• W2022150940 hasRelatedWork W2084592308 @default.
• W2022150940 hasRelatedWork W2161439427 @default.
• W2022150940 hasRelatedWork W2171216899 @default.
• W2022150940 hasRelatedWork W2291192136 @default.
• W2022150940 hasRelatedWork W2500553896 @default.
• W2022150940 hasRelatedWork W2610670723 @default.
• W2022150940 hasRelatedWork W3009358270 @default.
• W2022150940 hasRelatedWork W3040257197 @default.
• W2022150940 hasRelatedWork W3177922967 @default.

• next