Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094354112> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2094354112 endingPage "608" @default.
- W2094354112 startingPage "593" @default.
- W2094354112 abstract "Abstract Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory." @default.
- W2094354112 created "2016-06-24" @default.
- W2094354112 creator A5007681536 @default.
- W2094354112 creator A5030278621 @default.
- W2094354112 date "2012-06-01" @default.
- W2094354112 modified "2023-09-23" @default.
- W2094354112 title "On countable chains having decidable monadic theory" @default.
- W2094354112 cites W1496394707 @default.
- W2094354112 cites W1511526676 @default.
- W2094354112 cites W1816620374 @default.
- W2094354112 cites W1975036041 @default.
- W2094354112 cites W2062792526 @default.
- W2094354112 cites W2077704773 @default.
- W2094354112 cites W2085467680 @default.
- W2094354112 cites W3105685616 @default.
- W2094354112 cites W4236614418 @default.
- W2094354112 doi "https://doi.org/10.2178/jsl/1333566639" @default.
- W2094354112 hasPublicationYear "2012" @default.
- W2094354112 type Work @default.
- W2094354112 sameAs 2094354112 @default.
- W2094354112 citedByCount "1" @default.
- W2094354112 countsByYear W20943541122019 @default.
- W2094354112 crossrefType "journal-article" @default.
- W2094354112 hasAuthorship W2094354112A5007681536 @default.
- W2094354112 hasAuthorship W2094354112A5030278621 @default.
- W2094354112 hasConcept C10138342 @default.
- W2094354112 hasConcept C102993220 @default.
- W2094354112 hasConcept C110729354 @default.
- W2094354112 hasConcept C114614502 @default.
- W2094354112 hasConcept C118615104 @default.
- W2094354112 hasConcept C121332964 @default.
- W2094354112 hasConcept C124656256 @default.
- W2094354112 hasConcept C1276947 @default.
- W2094354112 hasConcept C134306372 @default.
- W2094354112 hasConcept C153269930 @default.
- W2094354112 hasConcept C162324750 @default.
- W2094354112 hasConcept C169896238 @default.
- W2094354112 hasConcept C182306322 @default.
- W2094354112 hasConcept C199185054 @default.
- W2094354112 hasConcept C33135215 @default.
- W2094354112 hasConcept C33923547 @default.
- W2094354112 hasConcept C41008148 @default.
- W2094354112 hasConcept C80444323 @default.
- W2094354112 hasConceptScore W2094354112C10138342 @default.
- W2094354112 hasConceptScore W2094354112C102993220 @default.
- W2094354112 hasConceptScore W2094354112C110729354 @default.
- W2094354112 hasConceptScore W2094354112C114614502 @default.
- W2094354112 hasConceptScore W2094354112C118615104 @default.
- W2094354112 hasConceptScore W2094354112C121332964 @default.
- W2094354112 hasConceptScore W2094354112C124656256 @default.
- W2094354112 hasConceptScore W2094354112C1276947 @default.
- W2094354112 hasConceptScore W2094354112C134306372 @default.
- W2094354112 hasConceptScore W2094354112C153269930 @default.
- W2094354112 hasConceptScore W2094354112C162324750 @default.
- W2094354112 hasConceptScore W2094354112C169896238 @default.
- W2094354112 hasConceptScore W2094354112C182306322 @default.
- W2094354112 hasConceptScore W2094354112C199185054 @default.
- W2094354112 hasConceptScore W2094354112C33135215 @default.
- W2094354112 hasConceptScore W2094354112C33923547 @default.
- W2094354112 hasConceptScore W2094354112C41008148 @default.
- W2094354112 hasConceptScore W2094354112C80444323 @default.
- W2094354112 hasIssue "2" @default.
- W2094354112 hasLocation W20943541121 @default.
- W2094354112 hasLocation W20943541122 @default.
- W2094354112 hasOpenAccess W2094354112 @default.
- W2094354112 hasPrimaryLocation W20943541121 @default.
- W2094354112 hasRelatedWork W1049919373 @default.
- W2094354112 hasRelatedWork W1582633789 @default.
- W2094354112 hasRelatedWork W2062403215 @default.
- W2094354112 hasRelatedWork W2067699663 @default.
- W2094354112 hasRelatedWork W2094354112 @default.
- W2094354112 hasRelatedWork W2094403718 @default.
- W2094354112 hasRelatedWork W2101752691 @default.
- W2094354112 hasRelatedWork W2105027413 @default.
- W2094354112 hasRelatedWork W4237923603 @default.
- W2094354112 hasRelatedWork W2567706123 @default.
- W2094354112 hasVolume "77" @default.
- W2094354112 isParatext "false" @default.
- W2094354112 isRetracted "false" @default.
- W2094354112 magId "2094354112" @default.
- W2094354112 workType "article" @default.