Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385682131> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4385682131 abstract "We study Lindstrom quantifiers that satisfy certain closure properties which are motivated by the study of polymorphisms in the context of constraint satisfaction problems (CSP). When the algebra of polymorphisms of a finite structure B satisfies certain equations, this gives rise to a natural closure condition on the class of structures that map homomorphically to B. The collection of quantifiers that satisfy closure conditions arising from a fixed set of equations are rather more general than those arising as CSP. For any such conditions P, we define a pebble game that delimits the distinguishing power of the infinitary logic with all quantifiers that are P-closed. We use the pebble game to show that the problem of deciding whether a system of linear equations is solvable in Z2 is not expressible in the infinitary logic with all quantifiers closed under a near-unanimity condition." @default.
- W4385682131 created "2023-08-09" @default.
- W4385682131 creator A5078573449 @default.
- W4385682131 creator A5080843415 @default.
- W4385682131 date "2023-08-07" @default.
- W4385682131 modified "2023-10-16" @default.
- W4385682131 title "Quantifiers closed under partial polymorphisms" @default.
- W4385682131 doi "https://doi.org/10.48550/arxiv.2308.03695" @default.
- W4385682131 hasPublicationYear "2023" @default.
- W4385682131 type Work @default.
- W4385682131 citedByCount "0" @default.
- W4385682131 crossrefType "posted-content" @default.
- W4385682131 hasAuthorship W4385682131A5078573449 @default.
- W4385682131 hasAuthorship W4385682131A5080843415 @default.
- W4385682131 hasBestOaLocation W43856821311 @default.
- W4385682131 hasConcept C105795698 @default.
- W4385682131 hasConcept C118615104 @default.
- W4385682131 hasConcept C136119220 @default.
- W4385682131 hasConcept C146834321 @default.
- W4385682131 hasConcept C151730666 @default.
- W4385682131 hasConcept C154945302 @default.
- W4385682131 hasConcept C162324750 @default.
- W4385682131 hasConcept C17744445 @default.
- W4385682131 hasConcept C184264201 @default.
- W4385682131 hasConcept C195818886 @default.
- W4385682131 hasConcept C199539241 @default.
- W4385682131 hasConcept C199622910 @default.
- W4385682131 hasConcept C202444582 @default.
- W4385682131 hasConcept C2777212361 @default.
- W4385682131 hasConcept C2779343474 @default.
- W4385682131 hasConcept C2781423480 @default.
- W4385682131 hasConcept C33923547 @default.
- W4385682131 hasConcept C34447519 @default.
- W4385682131 hasConcept C41008148 @default.
- W4385682131 hasConcept C49937458 @default.
- W4385682131 hasConcept C80444323 @default.
- W4385682131 hasConcept C86803240 @default.
- W4385682131 hasConceptScore W4385682131C105795698 @default.
- W4385682131 hasConceptScore W4385682131C118615104 @default.
- W4385682131 hasConceptScore W4385682131C136119220 @default.
- W4385682131 hasConceptScore W4385682131C146834321 @default.
- W4385682131 hasConceptScore W4385682131C151730666 @default.
- W4385682131 hasConceptScore W4385682131C154945302 @default.
- W4385682131 hasConceptScore W4385682131C162324750 @default.
- W4385682131 hasConceptScore W4385682131C17744445 @default.
- W4385682131 hasConceptScore W4385682131C184264201 @default.
- W4385682131 hasConceptScore W4385682131C195818886 @default.
- W4385682131 hasConceptScore W4385682131C199539241 @default.
- W4385682131 hasConceptScore W4385682131C199622910 @default.
- W4385682131 hasConceptScore W4385682131C202444582 @default.
- W4385682131 hasConceptScore W4385682131C2777212361 @default.
- W4385682131 hasConceptScore W4385682131C2779343474 @default.
- W4385682131 hasConceptScore W4385682131C2781423480 @default.
- W4385682131 hasConceptScore W4385682131C33923547 @default.
- W4385682131 hasConceptScore W4385682131C34447519 @default.
- W4385682131 hasConceptScore W4385682131C41008148 @default.
- W4385682131 hasConceptScore W4385682131C49937458 @default.
- W4385682131 hasConceptScore W4385682131C80444323 @default.
- W4385682131 hasConceptScore W4385682131C86803240 @default.
- W4385682131 hasLocation W43856821311 @default.
- W4385682131 hasOpenAccess W4385682131 @default.
- W4385682131 hasPrimaryLocation W43856821311 @default.
- W4385682131 hasRelatedWork W1975647703 @default.
- W4385682131 hasRelatedWork W2000685762 @default.
- W4385682131 hasRelatedWork W2044273750 @default.
- W4385682131 hasRelatedWork W2062781507 @default.
- W4385682131 hasRelatedWork W2513070253 @default.
- W4385682131 hasRelatedWork W2547722307 @default.
- W4385682131 hasRelatedWork W3082146116 @default.
- W4385682131 hasRelatedWork W3090211557 @default.
- W4385682131 hasRelatedWork W3113077340 @default.
- W4385682131 hasRelatedWork W4300171828 @default.
- W4385682131 isParatext "false" @default.
- W4385682131 isRetracted "false" @default.
- W4385682131 workType "article" @default.