FRINK Linked Data Fragments server

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

• W2078586522 endingPage "1054" @default.
• W2078586522 startingPage "1036" @default.
• W2078586522 abstract "Abstract For a fixed countably infinite structure Γ with finite relational signature τ , we study the following computational problem: input are quantifier-free τ -formulas ϕ 0 , ϕ 1 , …, ϕ n that define relations R 0 , R 1 , …, R n over Γ. The question is whether the relation R 0 is primitive positive definable from R 1 , …, R n , i.e., definable by a first-order formula that uses only relation symbols for R 1 , …, R n , equality, conjunctions, and existential quantification (disjunction, negation, and universal quantification are forbidden). We show decidability of this problem for all structures Γ that have a first-order definition in an ordered homogeneous structure Δ with a finite relational signature whose age is a Ramsey class and determined by finitely many forbidden substructures. Examples of structures Γ with this property are the order of the rationals, the random graph, the homogeneous universal poset, the random tournament, all homogeneous universal C -relations, and many more. We also obtain decidability of the problem when we replace primitive positive definability by existential positive, or existential definability. Our proof makes use of universal algebraic and model theoretic concepts, Ramsey theory, and a recent characterization of Ramsey classes in topological dynamics." @default.
• W2078586522 created "2016-06-24" @default.
• W2078586522 creator A5058729018 @default.
• W2078586522 creator A5070658141 @default.
• W2078586522 creator A5073208082 @default.
• W2078586522 date "2013-12-01" @default.
• W2078586522 modified "2023-10-14" @default.
• W2078586522 title "Decidability of Definability" @default.
• W2078586522 cites W1522877314 @default.
• W2078586522 cites W152517204 @default.
• W2078586522 cites W1967190838 @default.
• W2078586522 cites W1968276645 @default.
• W2078586522 cites W2030260102 @default.
• W2078586522 cites W2058971493 @default.
• W2078586522 cites W2062861878 @default.
• W2078586522 cites W2070051236 @default.
• W2078586522 cites W2073797527 @default.
• W2078586522 cites W2084944875 @default.
• W2078586522 cites W2101081760 @default.
• W2078586522 cites W2154492358 @default.
• W2078586522 cites W2158012017 @default.
• W2078586522 cites W2161484642 @default.
• W2078586522 cites W4230417672 @default.
• W2078586522 doi "https://doi.org/10.2178/jsl.7804020" @default.
• W2078586522 hasPublicationYear "2013" @default.
• W2078586522 type Work @default.
• W2078586522 sameAs 2078586522 @default.
• W2078586522 citedByCount "37" @default.
• W2078586522 countsByYear W20785865222012 @default.
• W2078586522 countsByYear W20785865222013 @default.
• W2078586522 countsByYear W20785865222014 @default.
• W2078586522 countsByYear W20785865222015 @default.
• W2078586522 countsByYear W20785865222016 @default.
• W2078586522 countsByYear W20785865222017 @default.
• W2078586522 countsByYear W20785865222018 @default.
• W2078586522 countsByYear W20785865222019 @default.
• W2078586522 countsByYear W20785865222020 @default.
• W2078586522 countsByYear W20785865222021 @default.
• W2078586522 countsByYear W20785865222022 @default.
• W2078586522 countsByYear W20785865222023 @default.
• W2078586522 crossrefType "journal-article" @default.
• W2078586522 hasAuthorship W2078586522A5058729018 @default.
• W2078586522 hasAuthorship W2078586522A5070658141 @default.
• W2078586522 hasAuthorship W2078586522A5073208082 @default.
• W2078586522 hasBestOaLocation W20785865222 @default.
• W2078586522 hasConcept C110729354 @default.
• W2078586522 hasConcept C112291201 @default.
• W2078586522 hasConcept C114614502 @default.
• W2078586522 hasConcept C118615104 @default.
• W2078586522 hasConcept C136119220 @default.
• W2078586522 hasConcept C153269930 @default.
• W2078586522 hasConcept C154945302 @default.
• W2078586522 hasConcept C171250308 @default.
• W2078586522 hasConcept C188971069 @default.
• W2078586522 hasConcept C192562407 @default.
• W2078586522 hasConcept C202444582 @default.
• W2078586522 hasConcept C2524010 @default.
• W2078586522 hasConcept C2777212361 @default.
• W2078586522 hasConcept C2779696439 @default.
• W2078586522 hasConcept C2780841128 @default.
• W2078586522 hasConcept C32278780 @default.
• W2078586522 hasConcept C33923547 @default.
• W2078586522 hasConcept C41008148 @default.
• W2078586522 hasConceptScore W2078586522C110729354 @default.
• W2078586522 hasConceptScore W2078586522C112291201 @default.
• W2078586522 hasConceptScore W2078586522C114614502 @default.
• W2078586522 hasConceptScore W2078586522C118615104 @default.
• W2078586522 hasConceptScore W2078586522C136119220 @default.
• W2078586522 hasConceptScore W2078586522C153269930 @default.
• W2078586522 hasConceptScore W2078586522C154945302 @default.
• W2078586522 hasConceptScore W2078586522C171250308 @default.
• W2078586522 hasConceptScore W2078586522C188971069 @default.
• W2078586522 hasConceptScore W2078586522C192562407 @default.
• W2078586522 hasConceptScore W2078586522C202444582 @default.
• W2078586522 hasConceptScore W2078586522C2524010 @default.
• W2078586522 hasConceptScore W2078586522C2777212361 @default.
• W2078586522 hasConceptScore W2078586522C2779696439 @default.
• W2078586522 hasConceptScore W2078586522C2780841128 @default.
• W2078586522 hasConceptScore W2078586522C32278780 @default.
• W2078586522 hasConceptScore W2078586522C33923547 @default.
• W2078586522 hasConceptScore W2078586522C41008148 @default.
• W2078586522 hasIssue "4" @default.
• W2078586522 hasLocation W20785865221 @default.
• W2078586522 hasLocation W20785865222 @default.
• W2078586522 hasOpenAccess W2078586522 @default.
• W2078586522 hasPrimaryLocation W20785865221 @default.
• W2078586522 hasRelatedWork W2049591942 @default.
• W2078586522 hasRelatedWork W2067699663 @default.
• W2078586522 hasRelatedWork W2078586522 @default.
• W2078586522 hasRelatedWork W2101752691 @default.
• W2078586522 hasRelatedWork W2105027413 @default.
• W2078586522 hasRelatedWork W2108448248 @default.
• W2078586522 hasRelatedWork W2125305054 @default.
• W2078586522 hasRelatedWork W2541640833 @default.
• W2078586522 hasRelatedWork W4237923603 @default.
• W2078586522 hasRelatedWork W4248973342 @default.
• W2078586522 hasVolume "78" @default.
• W2078586522 isParatext "false" @default.

• next