Matches in SemOpenAlex for { <https://semopenalex.org/work/W2787207988> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2787207988 abstract "We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures. We find that each of these properties depends only on the elementary (i.e., first-order) limit theory, and we completely determine the valid entailments among them. In contrast to the context of first-order logic on arbitrary structures, the order property and independence property are equivalent in this setting. McColm conjectured that least fixed-point definability collapses to first-order definability exactly when proficiency fails. McColm's conjecture is known to be false in general. However, we show that McColm's conjecture is true for any family of finite structures whose limit theory is model-theoretically tame." @default.
- W2787207988 created "2018-02-23" @default.
- W2787207988 creator A5040705316 @default.
- W2787207988 creator A5067084231 @default.
- W2787207988 date "2017-07-31" @default.
- W2787207988 modified "2023-10-14" @default.
- W2787207988 title "Tameness in least fixed-point logic and McColm's conjecture" @default.
- W2787207988 cites W1489366126 @default.
- W2787207988 cites W1516034894 @default.
- W2787207988 cites W1591825827 @default.
- W2787207988 cites W1611924890 @default.
- W2787207988 cites W1929994216 @default.
- W2787207988 cites W1979863880 @default.
- W2787207988 cites W2010650680 @default.
- W2787207988 cites W2028357390 @default.
- W2787207988 cites W2066047363 @default.
- W2787207988 cites W2076594341 @default.
- W2787207988 cites W2088094394 @default.
- W2787207988 cites W2099447962 @default.
- W2787207988 cites W2140814536 @default.
- W2787207988 cites W2163973755 @default.
- W2787207988 cites W2963688969 @default.
- W2787207988 cites W51516856 @default.
- W2787207988 doi "https://doi.org/10.23638/lmcs-17(1:2)2021" @default.
- W2787207988 hasPublicationYear "2017" @default.
- W2787207988 type Work @default.
- W2787207988 sameAs 2787207988 @default.
- W2787207988 citedByCount "0" @default.
- W2787207988 crossrefType "posted-content" @default.
- W2787207988 hasAuthorship W2787207988A5040705316 @default.
- W2787207988 hasAuthorship W2787207988A5067084231 @default.
- W2787207988 hasBestOaLocation W27872079881 @default.
- W2787207988 hasConcept C10138342 @default.
- W2787207988 hasConcept C105720234 @default.
- W2787207988 hasConcept C105795698 @default.
- W2787207988 hasConcept C111472728 @default.
- W2787207988 hasConcept C118615104 @default.
- W2787207988 hasConcept C134306372 @default.
- W2787207988 hasConcept C138885662 @default.
- W2787207988 hasConcept C151201525 @default.
- W2787207988 hasConcept C151730666 @default.
- W2787207988 hasConcept C162324750 @default.
- W2787207988 hasConcept C182306322 @default.
- W2787207988 hasConcept C189950617 @default.
- W2787207988 hasConcept C202444582 @default.
- W2787207988 hasConcept C206929604 @default.
- W2787207988 hasConcept C27333817 @default.
- W2787207988 hasConcept C2779343474 @default.
- W2787207988 hasConcept C2780990831 @default.
- W2787207988 hasConcept C28642324 @default.
- W2787207988 hasConcept C33923547 @default.
- W2787207988 hasConcept C35651441 @default.
- W2787207988 hasConcept C45962547 @default.
- W2787207988 hasConcept C61445026 @default.
- W2787207988 hasConcept C86803240 @default.
- W2787207988 hasConceptScore W2787207988C10138342 @default.
- W2787207988 hasConceptScore W2787207988C105720234 @default.
- W2787207988 hasConceptScore W2787207988C105795698 @default.
- W2787207988 hasConceptScore W2787207988C111472728 @default.
- W2787207988 hasConceptScore W2787207988C118615104 @default.
- W2787207988 hasConceptScore W2787207988C134306372 @default.
- W2787207988 hasConceptScore W2787207988C138885662 @default.
- W2787207988 hasConceptScore W2787207988C151201525 @default.
- W2787207988 hasConceptScore W2787207988C151730666 @default.
- W2787207988 hasConceptScore W2787207988C162324750 @default.
- W2787207988 hasConceptScore W2787207988C182306322 @default.
- W2787207988 hasConceptScore W2787207988C189950617 @default.
- W2787207988 hasConceptScore W2787207988C202444582 @default.
- W2787207988 hasConceptScore W2787207988C206929604 @default.
- W2787207988 hasConceptScore W2787207988C27333817 @default.
- W2787207988 hasConceptScore W2787207988C2779343474 @default.
- W2787207988 hasConceptScore W2787207988C2780990831 @default.
- W2787207988 hasConceptScore W2787207988C28642324 @default.
- W2787207988 hasConceptScore W2787207988C33923547 @default.
- W2787207988 hasConceptScore W2787207988C35651441 @default.
- W2787207988 hasConceptScore W2787207988C45962547 @default.
- W2787207988 hasConceptScore W2787207988C61445026 @default.
- W2787207988 hasConceptScore W2787207988C86803240 @default.
- W2787207988 hasLocation W27872079881 @default.
- W2787207988 hasLocation W27872079882 @default.
- W2787207988 hasOpenAccess W2787207988 @default.
- W2787207988 hasPrimaryLocation W27872079881 @default.
- W2787207988 hasRelatedWork W185334373 @default.
- W2787207988 hasRelatedWork W1965533470 @default.
- W2787207988 hasRelatedWork W1987197432 @default.
- W2787207988 hasRelatedWork W2015700339 @default.
- W2787207988 hasRelatedWork W2061149801 @default.
- W2787207988 hasRelatedWork W2082367570 @default.
- W2787207988 hasRelatedWork W2116243788 @default.
- W2787207988 hasRelatedWork W2320382799 @default.
- W2787207988 hasRelatedWork W2964538075 @default.
- W2787207988 hasRelatedWork W2298973244 @default.
- W2787207988 isParatext "false" @default.
- W2787207988 isRetracted "false" @default.
- W2787207988 magId "2787207988" @default.
- W2787207988 workType "article" @default.