Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945879284> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2945879284 abstract "The predicate of divisibility on two consecutive numbers DW(x,y) ÷ x | y ∧ 1+x | y was introduced by L. van den Dries and A. Wilkie when they studied some properties of subsets of natural numbers, existentially definable with unit, addition and divisibility. Undecidability of the existential theory of natural numbers with multiplication and DW and definability of addition and multiplication in terms of DWand divisibility is proved in the paper. Then the definability of multiplication in the terms of addition and DW is proved. Some definability questions for order and DW are also considered in the paper." @default.
- W2945879284 created "2019-05-29" @default.
- W2945879284 creator A5011114867 @default.
- W2945879284 date "2018-12-28" @default.
- W2945879284 modified "2023-09-25" @default.
- W2945879284 title "Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers" @default.
- W2945879284 doi "https://doi.org/10.32603/2071-2340-2018-6-5-15" @default.
- W2945879284 hasPublicationYear "2018" @default.
- W2945879284 type Work @default.
- W2945879284 sameAs 2945879284 @default.
- W2945879284 citedByCount "0" @default.
- W2945879284 crossrefType "journal-article" @default.
- W2945879284 hasAuthorship W2945879284A5011114867 @default.
- W2945879284 hasBestOaLocation W29458792841 @default.
- W2945879284 hasConcept C114614502 @default.
- W2945879284 hasConcept C118615104 @default.
- W2945879284 hasConcept C140146324 @default.
- W2945879284 hasConcept C153269930 @default.
- W2945879284 hasConcept C184264201 @default.
- W2945879284 hasConcept C199360897 @default.
- W2945879284 hasConcept C2780595030 @default.
- W2945879284 hasConcept C33923547 @default.
- W2945879284 hasConcept C41008148 @default.
- W2945879284 hasConcept C94375191 @default.
- W2945879284 hasConcept C9991821 @default.
- W2945879284 hasConceptScore W2945879284C114614502 @default.
- W2945879284 hasConceptScore W2945879284C118615104 @default.
- W2945879284 hasConceptScore W2945879284C140146324 @default.
- W2945879284 hasConceptScore W2945879284C153269930 @default.
- W2945879284 hasConceptScore W2945879284C184264201 @default.
- W2945879284 hasConceptScore W2945879284C199360897 @default.
- W2945879284 hasConceptScore W2945879284C2780595030 @default.
- W2945879284 hasConceptScore W2945879284C33923547 @default.
- W2945879284 hasConceptScore W2945879284C41008148 @default.
- W2945879284 hasConceptScore W2945879284C94375191 @default.
- W2945879284 hasConceptScore W2945879284C9991821 @default.
- W2945879284 hasLocation W29458792841 @default.
- W2945879284 hasOpenAccess W2945879284 @default.
- W2945879284 hasPrimaryLocation W29458792841 @default.
- W2945879284 hasRelatedWork W20256605 @default.
- W2945879284 hasRelatedWork W23678374 @default.
- W2945879284 hasRelatedWork W31393524 @default.
- W2945879284 hasRelatedWork W32309439 @default.
- W2945879284 hasRelatedWork W33769121 @default.
- W2945879284 hasRelatedWork W40177797 @default.
- W2945879284 hasRelatedWork W4930592 @default.
- W2945879284 hasRelatedWork W49722405 @default.
- W2945879284 hasRelatedWork W57400184 @default.
- W2945879284 hasRelatedWork W41483710 @default.
- W2945879284 isParatext "false" @default.
- W2945879284 isRetracted "false" @default.
- W2945879284 magId "2945879284" @default.
- W2945879284 workType "article" @default.