FRINK Linked Data Fragments server

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

• W2607732012 abstract "We generalize the Omitting types Theorem for first order logic to logics with infinitary predicates. Also we give a necessary and sufficient condition for when non-principal types are omitted. Our characterization applies to first order logic. Our treatment is algebraic using cylindric algebras. Mathematics Subject Classification: 03G15; 06E25" @default.
• W2607732012 created "2017-05-05" @default.
• W2607732012 creator A5014040531 @default.
• W2607732012 creator A5072040472 @default.
• W2607732012 date "2009-01-01" @default.
• W2607732012 modified "2023-09-26" @default.
• W2607732012 title "Omitting Types Algebraically via Cylindric Algebras" @default.
• W2607732012 cites W1513424776 @default.
• W2607732012 cites W1578974586 @default.
• W2607732012 cites W1914290799 @default.
• W2607732012 cites W1966591210 @default.
• W2607732012 cites W1970364998 @default.
• W2607732012 cites W1983678101 @default.
• W2607732012 cites W2002619107 @default.
• W2607732012 cites W2017222821 @default.
• W2607732012 cites W2031667755 @default.
• W2607732012 cites W2074105006 @default.
• W2607732012 cites W2108926469 @default.
• W2607732012 cites W2141123860 @default.
• W2607732012 hasPublicationYear "2009" @default.
• W2607732012 type Work @default.
• W2607732012 sameAs 2607732012 @default.
• W2607732012 citedByCount "2" @default.
• W2607732012 countsByYear W26077320122013 @default.
• W2607732012 countsByYear W26077320122014 @default.
• W2607732012 crossrefType "journal-article" @default.
• W2607732012 hasAuthorship W2607732012A5014040531 @default.
• W2607732012 hasAuthorship W2607732012A5072040472 @default.
• W2607732012 hasConcept C100481476 @default.
• W2607732012 hasConcept C10138342 @default.
• W2607732012 hasConcept C111919701 @default.
• W2607732012 hasConcept C118615104 @default.
• W2607732012 hasConcept C134306372 @default.
• W2607732012 hasConcept C136119220 @default.
• W2607732012 hasConcept C144559511 @default.
• W2607732012 hasConcept C161191863 @default.
• W2607732012 hasConcept C162324750 @default.
• W2607732012 hasConcept C171250308 @default.
• W2607732012 hasConcept C182306322 @default.
• W2607732012 hasConcept C18903297 @default.
• W2607732012 hasConcept C192562407 @default.
• W2607732012 hasConcept C202444582 @default.
• W2607732012 hasConcept C2777299769 @default.
• W2607732012 hasConcept C2777855551 @default.
• W2607732012 hasConcept C2778778035 @default.
• W2607732012 hasConcept C2780841128 @default.
• W2607732012 hasConcept C33923547 @default.
• W2607732012 hasConcept C41008148 @default.
• W2607732012 hasConcept C86523455 @default.
• W2607732012 hasConcept C86803240 @default.
• W2607732012 hasConcept C9376300 @default.
• W2607732012 hasConceptScore W2607732012C100481476 @default.
• W2607732012 hasConceptScore W2607732012C10138342 @default.
• W2607732012 hasConceptScore W2607732012C111919701 @default.
• W2607732012 hasConceptScore W2607732012C118615104 @default.
• W2607732012 hasConceptScore W2607732012C134306372 @default.
• W2607732012 hasConceptScore W2607732012C136119220 @default.
• W2607732012 hasConceptScore W2607732012C144559511 @default.
• W2607732012 hasConceptScore W2607732012C161191863 @default.
• W2607732012 hasConceptScore W2607732012C162324750 @default.
• W2607732012 hasConceptScore W2607732012C171250308 @default.
• W2607732012 hasConceptScore W2607732012C182306322 @default.
• W2607732012 hasConceptScore W2607732012C18903297 @default.
• W2607732012 hasConceptScore W2607732012C192562407 @default.
• W2607732012 hasConceptScore W2607732012C202444582 @default.
• W2607732012 hasConceptScore W2607732012C2777299769 @default.
• W2607732012 hasConceptScore W2607732012C2777855551 @default.
• W2607732012 hasConceptScore W2607732012C2778778035 @default.
• W2607732012 hasConceptScore W2607732012C2780841128 @default.
• W2607732012 hasConceptScore W2607732012C33923547 @default.
• W2607732012 hasConceptScore W2607732012C41008148 @default.
• W2607732012 hasConceptScore W2607732012C86523455 @default.
• W2607732012 hasConceptScore W2607732012C86803240 @default.
• W2607732012 hasConceptScore W2607732012C9376300 @default.
• W2607732012 hasLocation W26077320121 @default.
• W2607732012 hasOpenAccess W2607732012 @default.
• W2607732012 hasPrimaryLocation W26077320121 @default.
• W2607732012 hasRelatedWork W184413736 @default.
• W2607732012 hasRelatedWork W1974374936 @default.
• W2607732012 hasRelatedWork W1976117441 @default.
• W2607732012 hasRelatedWork W1994999396 @default.
• W2607732012 hasRelatedWork W2043300393 @default.
• W2607732012 hasRelatedWork W2068520516 @default.
• W2607732012 hasRelatedWork W2111056284 @default.
• W2607732012 hasRelatedWork W2127246914 @default.
• W2607732012 hasRelatedWork W2135808442 @default.
• W2607732012 hasRelatedWork W2144359719 @default.
• W2607732012 hasRelatedWork W2149922426 @default.
• W2607732012 hasRelatedWork W2152256008 @default.
• W2607732012 hasRelatedWork W2965956397 @default.
• W2607732012 hasRelatedWork W3003486297 @default.
• W2607732012 hasRelatedWork W3100608543 @default.
• W2607732012 hasRelatedWork W3120125315 @default.
• W2607732012 hasRelatedWork W3128601676 @default.
• W2607732012 hasRelatedWork W3149031245 @default.
• W2607732012 hasRelatedWork W3181940067 @default.
• W2607732012 hasRelatedWork W38608459 @default.
• W2607732012 isParatext "false" @default.
• W2607732012 isRetracted "false" @default.
• W2607732012 magId "2607732012" @default.

• next