Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287198729> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4287198729 abstract "In the search for a logic capturing polynomial time the most promising candidates are Choiceless Polynomial Time (CPT) and rank logic. Rank logic extends fixed-point logic with counting by a rank operator over prime fields. We show that the isomorphism problem for CFI graphs over $mathbb{Z}_{2^i}$ cannot be defined in rank logic, even if the base graph is totally ordered. However, CPT can define this isomorphism problem. We thereby separate rank logic from CPT and in particular from polynomial time." @default.
- W4287198729 created "2022-07-25" @default.
- W4287198729 creator A5050723678 @default.
- W4287198729 date "2021-04-27" @default.
- W4287198729 modified "2023-09-27" @default.
- W4287198729 title "Separating Rank Logic from Polynomial Time" @default.
- W4287198729 doi "https://doi.org/10.48550/arxiv.2104.12999" @default.
- W4287198729 hasPublicationYear "2021" @default.
- W4287198729 type Work @default.
- W4287198729 citedByCount "0" @default.
- W4287198729 crossrefType "posted-content" @default.
- W4287198729 hasAuthorship W4287198729A5050723678 @default.
- W4287198729 hasBestOaLocation W42871987291 @default.
- W4287198729 hasConcept C114614502 @default.
- W4287198729 hasConcept C115624301 @default.
- W4287198729 hasConcept C118615104 @default.
- W4287198729 hasConcept C134306372 @default.
- W4287198729 hasConcept C164226766 @default.
- W4287198729 hasConcept C185592680 @default.
- W4287198729 hasConcept C203436722 @default.
- W4287198729 hasConcept C311688 @default.
- W4287198729 hasConcept C33923547 @default.
- W4287198729 hasConcept C8010536 @default.
- W4287198729 hasConcept C90119067 @default.
- W4287198729 hasConceptScore W4287198729C114614502 @default.
- W4287198729 hasConceptScore W4287198729C115624301 @default.
- W4287198729 hasConceptScore W4287198729C118615104 @default.
- W4287198729 hasConceptScore W4287198729C134306372 @default.
- W4287198729 hasConceptScore W4287198729C164226766 @default.
- W4287198729 hasConceptScore W4287198729C185592680 @default.
- W4287198729 hasConceptScore W4287198729C203436722 @default.
- W4287198729 hasConceptScore W4287198729C311688 @default.
- W4287198729 hasConceptScore W4287198729C33923547 @default.
- W4287198729 hasConceptScore W4287198729C8010536 @default.
- W4287198729 hasConceptScore W4287198729C90119067 @default.
- W4287198729 hasLocation W42871987291 @default.
- W4287198729 hasOpenAccess W4287198729 @default.
- W4287198729 hasPrimaryLocation W42871987291 @default.
- W4287198729 hasRelatedWork W1787867404 @default.
- W4287198729 hasRelatedWork W1916943071 @default.
- W4287198729 hasRelatedWork W2134032622 @default.
- W4287198729 hasRelatedWork W2168596199 @default.
- W4287198729 hasRelatedWork W2754402491 @default.
- W4287198729 hasRelatedWork W2904381646 @default.
- W4287198729 hasRelatedWork W2962867851 @default.
- W4287198729 hasRelatedWork W3184896611 @default.
- W4287198729 hasRelatedWork W4302063892 @default.
- W4287198729 hasRelatedWork W4312225817 @default.
- W4287198729 isParatext "false" @default.
- W4287198729 isRetracted "false" @default.
- W4287198729 workType "article" @default.