Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297568945> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4297568945 abstract "We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as $textrm{NIP}$ or even $textrm{NTP}_2$. We use this to deduce the first general results about definable sets in $textrm{NTP}_2$ expansions of $(mathbb{R},<,+)$." @default.
- W4297568945 created "2022-09-29" @default.
- W4297568945 creator A5009150997 @default.
- W4297568945 creator A5057206285 @default.
- W4297568945 date "2016-01-18" @default.
- W4297568945 modified "2023-09-24" @default.
- W4297568945 title "Interpreting the monadic second order theory of one successor in expansions of the real line" @default.
- W4297568945 doi "https://doi.org/10.48550/arxiv.1601.04555" @default.
- W4297568945 hasPublicationYear "2016" @default.
- W4297568945 type Work @default.
- W4297568945 citedByCount "0" @default.
- W4297568945 crossrefType "posted-content" @default.
- W4297568945 hasAuthorship W4297568945A5009150997 @default.
- W4297568945 hasAuthorship W4297568945A5057206285 @default.
- W4297568945 hasBestOaLocation W42975689451 @default.
- W4297568945 hasConcept C10138342 @default.
- W4297568945 hasConcept C114614502 @default.
- W4297568945 hasConcept C118615104 @default.
- W4297568945 hasConcept C134306372 @default.
- W4297568945 hasConcept C144237770 @default.
- W4297568945 hasConcept C162324750 @default.
- W4297568945 hasConcept C182306322 @default.
- W4297568945 hasConcept C182420344 @default.
- W4297568945 hasConcept C198352243 @default.
- W4297568945 hasConcept C199360897 @default.
- W4297568945 hasConcept C202444582 @default.
- W4297568945 hasConcept C2524010 @default.
- W4297568945 hasConcept C28826006 @default.
- W4297568945 hasConcept C2987642246 @default.
- W4297568945 hasConcept C33923547 @default.
- W4297568945 hasConcept C41008148 @default.
- W4297568945 hasConcept C75306776 @default.
- W4297568945 hasConcept C75432250 @default.
- W4297568945 hasConceptScore W4297568945C10138342 @default.
- W4297568945 hasConceptScore W4297568945C114614502 @default.
- W4297568945 hasConceptScore W4297568945C118615104 @default.
- W4297568945 hasConceptScore W4297568945C134306372 @default.
- W4297568945 hasConceptScore W4297568945C144237770 @default.
- W4297568945 hasConceptScore W4297568945C162324750 @default.
- W4297568945 hasConceptScore W4297568945C182306322 @default.
- W4297568945 hasConceptScore W4297568945C182420344 @default.
- W4297568945 hasConceptScore W4297568945C198352243 @default.
- W4297568945 hasConceptScore W4297568945C199360897 @default.
- W4297568945 hasConceptScore W4297568945C202444582 @default.
- W4297568945 hasConceptScore W4297568945C2524010 @default.
- W4297568945 hasConceptScore W4297568945C28826006 @default.
- W4297568945 hasConceptScore W4297568945C2987642246 @default.
- W4297568945 hasConceptScore W4297568945C33923547 @default.
- W4297568945 hasConceptScore W4297568945C41008148 @default.
- W4297568945 hasConceptScore W4297568945C75306776 @default.
- W4297568945 hasConceptScore W4297568945C75432250 @default.
- W4297568945 hasLocation W42975689451 @default.
- W4297568945 hasOpenAccess W4297568945 @default.
- W4297568945 hasPrimaryLocation W42975689451 @default.
- W4297568945 hasRelatedWork W1978042415 @default.
- W4297568945 hasRelatedWork W2017331178 @default.
- W4297568945 hasRelatedWork W2033511865 @default.
- W4297568945 hasRelatedWork W2049673182 @default.
- W4297568945 hasRelatedWork W2088270774 @default.
- W4297568945 hasRelatedWork W2259379241 @default.
- W4297568945 hasRelatedWork W2952853187 @default.
- W4297568945 hasRelatedWork W2976797620 @default.
- W4297568945 hasRelatedWork W3086542228 @default.
- W4297568945 hasRelatedWork W4297568945 @default.
- W4297568945 isParatext "false" @default.
- W4297568945 isRetracted "false" @default.
- W4297568945 workType "article" @default.