FRINK Linked Data Fragments server

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

• W2810788639 abstract "Let $alphageq 2$ be any ordinal. We consider the class $mathsf{Drs}_{alpha}$ of relativized diagonal free set algebras of dimension $alpha$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $mathsf{Drs}_{alpha}$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class $mathsf{Drs}_{alpha}$ corresponds to first order logic, without equality symbol, with $alpha$-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory." @default.
• W2810788639 created "2018-07-10" @default.
• W2810788639 creator A5072040472 @default.
• W2810788639 creator A5082396608 @default.
• W2810788639 date "2018-06-29" @default.
• W2810788639 modified "2023-09-26" @default.
• W2810788639 title "First order logic without equality on relativized semantics" @default.
• W2810788639 cites W129595456 @default.
• W2810788639 cites W141530087 @default.
• W2810788639 cites W149351330 @default.
• W2810788639 cites W1557903771 @default.
• W2810788639 cites W1580101121 @default.
• W2810788639 cites W1990620456 @default.
• W2810788639 cites W2011550070 @default.
• W2810788639 cites W2023648368 @default.
• W2810788639 cites W2035012398 @default.
• W2810788639 cites W2165661406 @default.
• W2810788639 cites W2168140838 @default.
• W2810788639 cites W2253467077 @default.
• W2810788639 cites W2610880377 @default.
• W2810788639 cites W3098461067 @default.
• W2810788639 cites W3101556240 @default.
• W2810788639 hasPublicationYear "2018" @default.
• W2810788639 type Work @default.
• W2810788639 sameAs 2810788639 @default.
• W2810788639 citedByCount "0" @default.
• W2810788639 crossrefType "posted-content" @default.
• W2810788639 hasAuthorship W2810788639A5072040472 @default.
• W2810788639 hasAuthorship W2810788639A5082396608 @default.
• W2810788639 hasConcept C10138342 @default.
• W2810788639 hasConcept C105795698 @default.
• W2810788639 hasConcept C114614502 @default.
• W2810788639 hasConcept C118615104 @default.
• W2810788639 hasConcept C130367717 @default.
• W2810788639 hasConcept C134400042 @default.
• W2810788639 hasConcept C136119220 @default.
• W2810788639 hasConcept C138885662 @default.
• W2810788639 hasConcept C154945302 @default.
• W2810788639 hasConcept C162324750 @default.
• W2810788639 hasConcept C171606756 @default.
• W2810788639 hasConcept C182306322 @default.
• W2810788639 hasConcept C184337299 @default.
• W2810788639 hasConcept C199360897 @default.
• W2810788639 hasConcept C202444582 @default.
• W2810788639 hasConcept C2524010 @default.
• W2810788639 hasConcept C2777212361 @default.
• W2810788639 hasConcept C2780813799 @default.
• W2810788639 hasConcept C33676613 @default.
• W2810788639 hasConcept C33923547 @default.
• W2810788639 hasConcept C41008148 @default.
• W2810788639 hasConcept C41895202 @default.
• W2810788639 hasConcept C49453240 @default.
• W2810788639 hasConcept C64943373 @default.
• W2810788639 hasConceptScore W2810788639C10138342 @default.
• W2810788639 hasConceptScore W2810788639C105795698 @default.
• W2810788639 hasConceptScore W2810788639C114614502 @default.
• W2810788639 hasConceptScore W2810788639C118615104 @default.
• W2810788639 hasConceptScore W2810788639C130367717 @default.
• W2810788639 hasConceptScore W2810788639C134400042 @default.
• W2810788639 hasConceptScore W2810788639C136119220 @default.
• W2810788639 hasConceptScore W2810788639C138885662 @default.
• W2810788639 hasConceptScore W2810788639C154945302 @default.
• W2810788639 hasConceptScore W2810788639C162324750 @default.
• W2810788639 hasConceptScore W2810788639C171606756 @default.
• W2810788639 hasConceptScore W2810788639C182306322 @default.
• W2810788639 hasConceptScore W2810788639C184337299 @default.
• W2810788639 hasConceptScore W2810788639C199360897 @default.
• W2810788639 hasConceptScore W2810788639C202444582 @default.
• W2810788639 hasConceptScore W2810788639C2524010 @default.
• W2810788639 hasConceptScore W2810788639C2777212361 @default.
• W2810788639 hasConceptScore W2810788639C2780813799 @default.
• W2810788639 hasConceptScore W2810788639C33676613 @default.
• W2810788639 hasConceptScore W2810788639C33923547 @default.
• W2810788639 hasConceptScore W2810788639C41008148 @default.
• W2810788639 hasConceptScore W2810788639C41895202 @default.
• W2810788639 hasConceptScore W2810788639C49453240 @default.
• W2810788639 hasConceptScore W2810788639C64943373 @default.
• W2810788639 hasLocation W28107886391 @default.
• W2810788639 hasOpenAccess W2810788639 @default.
• W2810788639 hasPrimaryLocation W28107886391 @default.
• W2810788639 hasRelatedWork W1507093113 @default.
• W2810788639 hasRelatedWork W1537043887 @default.
• W2810788639 hasRelatedWork W1608098058 @default.
• W2810788639 hasRelatedWork W1880334947 @default.
• W2810788639 hasRelatedWork W1974201320 @default.
• W2810788639 hasRelatedWork W1976827484 @default.
• W2810788639 hasRelatedWork W2013191336 @default.
• W2810788639 hasRelatedWork W2046234021 @default.
• W2810788639 hasRelatedWork W2078491542 @default.
• W2810788639 hasRelatedWork W2087316813 @default.
• W2810788639 hasRelatedWork W2160776691 @default.
• W2810788639 hasRelatedWork W2480586747 @default.
• W2810788639 hasRelatedWork W2508461133 @default.
• W2810788639 hasRelatedWork W2525003857 @default.
• W2810788639 hasRelatedWork W2952467336 @default.
• W2810788639 hasRelatedWork W2962891139 @default.
• W2810788639 hasRelatedWork W2963301680 @default.
• W2810788639 hasRelatedWork W3047455188 @default.
• W2810788639 hasRelatedWork W3197327104 @default.
• W2810788639 hasRelatedWork W2575222808 @default.

• next