Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302144> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4384302144 abstract "We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as interpreted vocabulary over an infinite domain: denoted in the past as embedded finite model theory. We extend the analysis of collapse results: the ability to eliminate first-order quantifiers over the infinite domain in favor of quantification over the finite structure. We investigate several weakenings of collapse, one allowing higher-order quantification over the finite structure, another allowing expansion of the theory. We also provide results comparing collapse for unary signatures with general signatures, and new analyses of collapse for natural decidable theories." @default.
- W4384302144 created "2023-07-15" @default.
- W4384302144 creator A5037774973 @default.
- W4384302144 creator A5053070582 @default.
- W4384302144 date "2023-06-26" @default.
- W4384302144 modified "2023-10-17" @default.
- W4384302144 title "Embedded Finite Models beyond Restricted Quantifier Collapse" @default.
- W4384302144 cites W1026721552 @default.
- W4384302144 cites W125116438 @default.
- W4384302144 cites W1587950877 @default.
- W4384302144 cites W1990748731 @default.
- W4384302144 cites W2022519515 @default.
- W4384302144 cites W2028588210 @default.
- W4384302144 cites W2031856459 @default.
- W4384302144 cites W2052260583 @default.
- W4384302144 cites W2057689163 @default.
- W4384302144 cites W2058971493 @default.
- W4384302144 cites W2065999229 @default.
- W4384302144 cites W2068589781 @default.
- W4384302144 cites W2083251422 @default.
- W4384302144 cites W2089168089 @default.
- W4384302144 cites W2090832823 @default.
- W4384302144 cites W2092230546 @default.
- W4384302144 cites W2106177549 @default.
- W4384302144 cites W2119477031 @default.
- W4384302144 cites W2129678180 @default.
- W4384302144 cites W2162052349 @default.
- W4384302144 cites W2964319612 @default.
- W4384302144 cites W3100218978 @default.
- W4384302144 cites W4256751134 @default.
- W4384302144 doi "https://doi.org/10.1109/lics56636.2023.10175804" @default.
- W4384302144 hasPublicationYear "2023" @default.
- W4384302144 type Work @default.
- W4384302144 citedByCount "0" @default.
- W4384302144 crossrefType "proceedings-article" @default.
- W4384302144 hasAuthorship W4384302144A5037774973 @default.
- W4384302144 hasAuthorship W4384302144A5053070582 @default.
- W4384302144 hasBestOaLocation W43843021442 @default.
- W4384302144 hasConcept C11413529 @default.
- W4384302144 hasConcept C118615104 @default.
- W4384302144 hasConcept C134306372 @default.
- W4384302144 hasConcept C153269930 @default.
- W4384302144 hasConcept C154945302 @default.
- W4384302144 hasConcept C199360897 @default.
- W4384302144 hasConcept C2778523021 @default.
- W4384302144 hasConcept C32278780 @default.
- W4384302144 hasConcept C33923547 @default.
- W4384302144 hasConcept C36503486 @default.
- W4384302144 hasConcept C41008148 @default.
- W4384302144 hasConcept C78023250 @default.
- W4384302144 hasConceptScore W4384302144C11413529 @default.
- W4384302144 hasConceptScore W4384302144C118615104 @default.
- W4384302144 hasConceptScore W4384302144C134306372 @default.
- W4384302144 hasConceptScore W4384302144C153269930 @default.
- W4384302144 hasConceptScore W4384302144C154945302 @default.
- W4384302144 hasConceptScore W4384302144C199360897 @default.
- W4384302144 hasConceptScore W4384302144C2778523021 @default.
- W4384302144 hasConceptScore W4384302144C32278780 @default.
- W4384302144 hasConceptScore W4384302144C33923547 @default.
- W4384302144 hasConceptScore W4384302144C36503486 @default.
- W4384302144 hasConceptScore W4384302144C41008148 @default.
- W4384302144 hasConceptScore W4384302144C78023250 @default.
- W4384302144 hasLocation W43843021441 @default.
- W4384302144 hasLocation W43843021442 @default.
- W4384302144 hasOpenAccess W4384302144 @default.
- W4384302144 hasPrimaryLocation W43843021441 @default.
- W4384302144 hasRelatedWork W121177627 @default.
- W4384302144 hasRelatedWork W2016158958 @default.
- W4384302144 hasRelatedWork W2049924983 @default.
- W4384302144 hasRelatedWork W2170779139 @default.
- W4384302144 hasRelatedWork W2962965776 @default.
- W4384302144 hasRelatedWork W3093966545 @default.
- W4384302144 hasRelatedWork W3135280923 @default.
- W4384302144 hasRelatedWork W4250099094 @default.
- W4384302144 hasRelatedWork W4290930689 @default.
- W4384302144 hasRelatedWork W4384302144 @default.
- W4384302144 isParatext "false" @default.
- W4384302144 isRetracted "false" @default.
- W4384302144 workType "article" @default.