Matches in SemOpenAlex for { <https://semopenalex.org/work/W1888128996> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1888128996 endingPage "17" @default.
- W1888128996 startingPage "1" @default.
- W1888128996 abstract "We study an extension of monadic second-order logic of order with the uncountability quantifier there exist uncountably many sets. We prove that, over the class of finitely branching trees, this extension is equally expressive to plain monadic second-order logic of order.Additionally we find that the continuum hypothesis holds for classes of sets definable in monadic second-order logic over finitely branching trees, which is notable for not all of these classes are analytic.Our approach is based on Shelah's composition method and uses basic results from descriptive set theory. The elimination result is constructive, yielding a decision procedure for the extended logic." @default.
- W1888128996 created "2016-06-24" @default.
- W1888128996 creator A5007681536 @default.
- W1888128996 creator A5031789995 @default.
- W1888128996 creator A5042134900 @default.
- W1888128996 date "2010-01-01" @default.
- W1888128996 modified "2023-09-23" @default.
- W1888128996 title "Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees" @default.
- W1888128996 cites W1471382471 @default.
- W1888128996 cites W1494993885 @default.
- W1888128996 cites W1496394707 @default.
- W1888128996 cites W1539382740 @default.
- W1888128996 cites W1555991696 @default.
- W1888128996 cites W1605229073 @default.
- W1888128996 cites W164995862 @default.
- W1888128996 cites W1682293995 @default.
- W1888128996 cites W1966875984 @default.
- W1888128996 cites W1983682288 @default.
- W1888128996 cites W1984317147 @default.
- W1888128996 cites W2004345957 @default.
- W1888128996 cites W2062792526 @default.
- W1888128996 cites W2089351755 @default.
- W1888128996 cites W2106500118 @default.
- W1888128996 cites W2112562798 @default.
- W1888128996 cites W2127749484 @default.
- W1888128996 cites W2131742729 @default.
- W1888128996 cites W2154389574 @default.
- W1888128996 cites W2162583406 @default.
- W1888128996 cites W2167101928 @default.
- W1888128996 cites W2296095876 @default.
- W1888128996 cites W2569340810 @default.
- W1888128996 cites W2984771501 @default.
- W1888128996 cites W578409227 @default.
- W1888128996 cites W604053292 @default.
- W1888128996 doi "https://doi.org/10.3233/fi-2010-260" @default.
- W1888128996 hasPublicationYear "2010" @default.
- W1888128996 type Work @default.
- W1888128996 sameAs 1888128996 @default.
- W1888128996 citedByCount "11" @default.
- W1888128996 countsByYear W18881289962012 @default.
- W1888128996 countsByYear W18881289962014 @default.
- W1888128996 countsByYear W18881289962015 @default.
- W1888128996 countsByYear W18881289962016 @default.
- W1888128996 countsByYear W18881289962017 @default.
- W1888128996 countsByYear W18881289962019 @default.
- W1888128996 countsByYear W18881289962021 @default.
- W1888128996 crossrefType "journal-article" @default.
- W1888128996 hasAuthorship W1888128996A5007681536 @default.
- W1888128996 hasAuthorship W1888128996A5031789995 @default.
- W1888128996 hasAuthorship W1888128996A5042134900 @default.
- W1888128996 hasBestOaLocation W18881289962 @default.
- W1888128996 hasConcept C10138342 @default.
- W1888128996 hasConcept C102993220 @default.
- W1888128996 hasConcept C118615104 @default.
- W1888128996 hasConcept C124656256 @default.
- W1888128996 hasConcept C144791301 @default.
- W1888128996 hasConcept C162324750 @default.
- W1888128996 hasConcept C169896238 @default.
- W1888128996 hasConcept C182306322 @default.
- W1888128996 hasConcept C199360897 @default.
- W1888128996 hasConcept C33923547 @default.
- W1888128996 hasConcept C41008148 @default.
- W1888128996 hasConcept C77088390 @default.
- W1888128996 hasConcept C87117476 @default.
- W1888128996 hasConceptScore W1888128996C10138342 @default.
- W1888128996 hasConceptScore W1888128996C102993220 @default.
- W1888128996 hasConceptScore W1888128996C118615104 @default.
- W1888128996 hasConceptScore W1888128996C124656256 @default.
- W1888128996 hasConceptScore W1888128996C144791301 @default.
- W1888128996 hasConceptScore W1888128996C162324750 @default.
- W1888128996 hasConceptScore W1888128996C169896238 @default.
- W1888128996 hasConceptScore W1888128996C182306322 @default.
- W1888128996 hasConceptScore W1888128996C199360897 @default.
- W1888128996 hasConceptScore W1888128996C33923547 @default.
- W1888128996 hasConceptScore W1888128996C41008148 @default.
- W1888128996 hasConceptScore W1888128996C77088390 @default.
- W1888128996 hasConceptScore W1888128996C87117476 @default.
- W1888128996 hasIssue "1-4" @default.
- W1888128996 hasLocation W18881289961 @default.
- W1888128996 hasLocation W18881289962 @default.
- W1888128996 hasLocation W18881289963 @default.
- W1888128996 hasOpenAccess W1888128996 @default.
- W1888128996 hasPrimaryLocation W18881289961 @default.
- W1888128996 hasRelatedWork W1049919373 @default.
- W1888128996 hasRelatedWork W1506703500 @default.
- W1888128996 hasRelatedWork W1551851178 @default.
- W1888128996 hasRelatedWork W1888128996 @default.
- W1888128996 hasRelatedWork W1963127161 @default.
- W1888128996 hasRelatedWork W2094403718 @default.
- W1888128996 hasRelatedWork W2103476891 @default.
- W1888128996 hasRelatedWork W2131043528 @default.
- W1888128996 hasRelatedWork W2155343741 @default.
- W1888128996 hasRelatedWork W2963027440 @default.
- W1888128996 hasVolume "100" @default.
- W1888128996 isParatext "false" @default.
- W1888128996 isRetracted "false" @default.
- W1888128996 magId "1888128996" @default.
- W1888128996 workType "article" @default.