Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366768257> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4366768257 endingPage "23" @default.
- W4366768257 startingPage "5" @default.
- W4366768257 abstract "Доказывается неразрешимость и сильная неразрешимость (неарифметичность) теорий классов деревьев (при различных уточнениях понятия дерева и при различных требованиях к свойствам деревьев, включая конечность числа вершин) в языке с бинарной предикатной буквой, соответствующей дугам, равенством, оператором транзитивного замыкания и конгруэнтностью между парами вершин, которая определяется как равенство расстояния между вершинами первой пары расстоянию между вершинами второй пары. Показано, что для получения неразрешимости (или неарифметичности) теорий некоторых классов деревьев оператор транзитивного замыкания достаточно применять лишь к бинарному отношению, соответствующему дугам, т.е. фактически вместо оператора транзитивного замыкания рассматривать отношение достижимости; также показано, что теории некоторых классов деревьев неразрешимы в языке без оператора транзитивного замыкания. medskip begin{flushright} textit{To Valentin Goranko, with gratitude from the author} end{flushright}medskip The paper proves undecidability and high undecidability (non-arithmeticity) of theories of trees (with various refinements of the concept of a tree and with various requirements for the properties of trees, including the finiteness of the number of vertices) in a language with a binary predicate letter corresponding to edges, equality, the transitive closure operator and congruence between pairs of vertices, which is defined as equality of the distance between the vertices of the first pair and the distance between the vertices of the second pair. It is shown that in many cases it is sufficient to apply the transitive closure operator only to the binary relation corresponding to edges, i.e., in fact, instead of the transitive closure operator, it is sufficient to consider the reachability relation; in some cases, we establish undecidability in a language without the transitive closure operator." @default.
- W4366768257 created "2023-04-25" @default.
- W4366768257 creator A5028473449 @default.
- W4366768257 date "2023-04-21" @default.
- W4366768257 modified "2023-09-26" @default.
- W4366768257 title "Trees as a tool for modelling undecidable problems" @default.
- W4366768257 doi "https://doi.org/10.26456/vtpmk653" @default.
- W4366768257 hasPublicationYear "2023" @default.
- W4366768257 type Work @default.
- W4366768257 citedByCount "1" @default.
- W4366768257 countsByYear W43667682572023 @default.
- W4366768257 crossrefType "journal-article" @default.
- W4366768257 hasAuthorship W4366768257A5028473449 @default.
- W4366768257 hasBestOaLocation W43667682571 @default.
- W4366768257 hasConcept C104317684 @default.
- W4366768257 hasConcept C114614502 @default.
- W4366768257 hasConcept C118615104 @default.
- W4366768257 hasConcept C128896722 @default.
- W4366768257 hasConcept C129691609 @default.
- W4366768257 hasConcept C132525143 @default.
- W4366768257 hasConcept C136643341 @default.
- W4366768257 hasConcept C140146324 @default.
- W4366768257 hasConcept C146834321 @default.
- W4366768257 hasConcept C153269930 @default.
- W4366768257 hasConcept C158448853 @default.
- W4366768257 hasConcept C162324750 @default.
- W4366768257 hasConcept C17020691 @default.
- W4366768257 hasConcept C185592680 @default.
- W4366768257 hasConcept C191399111 @default.
- W4366768257 hasConcept C192034797 @default.
- W4366768257 hasConcept C199360897 @default.
- W4366768257 hasConcept C203776342 @default.
- W4366768257 hasConcept C22149727 @default.
- W4366768257 hasConcept C2333172 @default.
- W4366768257 hasConcept C33923547 @default.
- W4366768257 hasConcept C34447519 @default.
- W4366768257 hasConcept C41008148 @default.
- W4366768257 hasConcept C55493867 @default.
- W4366768257 hasConcept C65180967 @default.
- W4366768257 hasConcept C86339819 @default.
- W4366768257 hasConceptScore W4366768257C104317684 @default.
- W4366768257 hasConceptScore W4366768257C114614502 @default.
- W4366768257 hasConceptScore W4366768257C118615104 @default.
- W4366768257 hasConceptScore W4366768257C128896722 @default.
- W4366768257 hasConceptScore W4366768257C129691609 @default.
- W4366768257 hasConceptScore W4366768257C132525143 @default.
- W4366768257 hasConceptScore W4366768257C136643341 @default.
- W4366768257 hasConceptScore W4366768257C140146324 @default.
- W4366768257 hasConceptScore W4366768257C146834321 @default.
- W4366768257 hasConceptScore W4366768257C153269930 @default.
- W4366768257 hasConceptScore W4366768257C158448853 @default.
- W4366768257 hasConceptScore W4366768257C162324750 @default.
- W4366768257 hasConceptScore W4366768257C17020691 @default.
- W4366768257 hasConceptScore W4366768257C185592680 @default.
- W4366768257 hasConceptScore W4366768257C191399111 @default.
- W4366768257 hasConceptScore W4366768257C192034797 @default.
- W4366768257 hasConceptScore W4366768257C199360897 @default.
- W4366768257 hasConceptScore W4366768257C203776342 @default.
- W4366768257 hasConceptScore W4366768257C22149727 @default.
- W4366768257 hasConceptScore W4366768257C2333172 @default.
- W4366768257 hasConceptScore W4366768257C33923547 @default.
- W4366768257 hasConceptScore W4366768257C34447519 @default.
- W4366768257 hasConceptScore W4366768257C41008148 @default.
- W4366768257 hasConceptScore W4366768257C55493867 @default.
- W4366768257 hasConceptScore W4366768257C65180967 @default.
- W4366768257 hasConceptScore W4366768257C86339819 @default.
- W4366768257 hasIssue "1" @default.
- W4366768257 hasLocation W43667682571 @default.
- W4366768257 hasLocation W43667682572 @default.
- W4366768257 hasOpenAccess W4366768257 @default.
- W4366768257 hasPrimaryLocation W43667682571 @default.
- W4366768257 hasRelatedWork W2119876047 @default.
- W4366768257 hasRelatedWork W2246583867 @default.
- W4366768257 hasRelatedWork W2357069572 @default.
- W4366768257 hasRelatedWork W2362009423 @default.
- W4366768257 hasRelatedWork W2364216866 @default.
- W4366768257 hasRelatedWork W2365750584 @default.
- W4366768257 hasRelatedWork W2371151875 @default.
- W4366768257 hasRelatedWork W2383282217 @default.
- W4366768257 hasRelatedWork W2394135826 @default.
- W4366768257 hasRelatedWork W2963724210 @default.
- W4366768257 isParatext "false" @default.
- W4366768257 isRetracted "false" @default.
- W4366768257 workType "article" @default.