FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376609569> ?p ?o ?g. }

• W4376609569 endingPage "669" @default.
• W4376609569 startingPage "627" @default.
• W4376609569 abstract "Abstract There is no single canonical polynomial-time version of the Axiom of Choice (AC); several statements of AC that are equivalent in Zermelo-Fraenkel (ZF) set theory are already inequivalent from a constructive point of view, and are similarly inequivalent from a complexity-theoretic point of view. In this paper we show that many classical formulations of AC, when restricted to polynomial time in natural ways, are equivalent to standard complexity-theoretic hypotheses, including several that were of interest to Selman. This provides a unified view of these hypotheses, and we hope provides additional motivation for studying some of the lesser-known hypotheses that appear here. Additionally, because several classical forms of AC are formulated in terms of cardinals, we develop a theory of polynomial-time cardinality. Nerode & Remmel ( Contemp. Math. 106, 1990 and Springer Lec. Notes Math. 1432, 1990) developed a related theory, but restricted to unary sets. Downey (Math. Reviews MR1071525) suggested that such a theory over larger alphabets could have interesting connections to more standard complexity questions, and we illustrate some of those connections here. The connections between AC, cardinality, and complexity questions also allow us to highlight some of Selman’s work. We hope this paper is more of a beginning than an end, introducing new concepts and raising many new questions, ripe for further research." @default.
• W4376609569 created "2023-05-17" @default.
• W4376609569 creator A5062065155 @default.
• W4376609569 date "2023-05-15" @default.
• W4376609569 modified "2023-09-25" @default.
• W4376609569 title "Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality" @default.
• W4376609569 cites W1580836907 @default.
• W4376609569 cites W1774078520 @default.
• W4376609569 cites W1940908117 @default.
• W4376609569 cites W1966945335 @default.
• W4376609569 cites W1969791127 @default.
• W4376609569 cites W1970465162 @default.
• W4376609569 cites W1982717290 @default.
• W4376609569 cites W2008585307 @default.
• W4376609569 cites W2008798753 @default.
• W4376609569 cites W2008999657 @default.
• W4376609569 cites W2009357612 @default.
• W4376609569 cites W2011388976 @default.
• W4376609569 cites W2013547557 @default.
• W4376609569 cites W2030692444 @default.
• W4376609569 cites W2036028771 @default.
• W4376609569 cites W2036878936 @default.
• W4376609569 cites W2039733812 @default.
• W4376609569 cites W2040131290 @default.
• W4376609569 cites W2044637393 @default.
• W4376609569 cites W2061352247 @default.
• W4376609569 cites W2061533345 @default.
• W4376609569 cites W2065703771 @default.
• W4376609569 cites W2070323038 @default.
• W4376609569 cites W2073363580 @default.
• W4376609569 cites W2077218542 @default.
• W4376609569 cites W2081065305 @default.
• W4376609569 cites W2083343164 @default.
• W4376609569 cites W2085424088 @default.
• W4376609569 cites W2085634981 @default.
• W4376609569 cites W2087899564 @default.
• W4376609569 cites W2089546742 @default.
• W4376609569 cites W2089914953 @default.
• W4376609569 cites W2090039082 @default.
• W4376609569 cites W2090186532 @default.
• W4376609569 cites W2091208636 @default.
• W4376609569 cites W2092130624 @default.
• W4376609569 cites W209392523 @default.
• W4376609569 cites W2103517359 @default.
• W4376609569 cites W2104896501 @default.
• W4376609569 cites W2160461541 @default.
• W4376609569 cites W2173911363 @default.
• W4376609569 cites W2237532345 @default.
• W4376609569 cites W2293017760 @default.
• W4376609569 cites W2336632556 @default.
• W4376609569 cites W2559610214 @default.
• W4376609569 cites W3183527271 @default.
• W4376609569 cites W4206753449 @default.
• W4376609569 cites W4211106290 @default.
• W4376609569 cites W4237737356 @default.
• W4376609569 cites W4242295024 @default.
• W4376609569 cites W4248937060 @default.
• W4376609569 cites W70138447 @default.
• W4376609569 doi "https://doi.org/10.1007/s00224-023-10118-y" @default.
• W4376609569 hasPublicationYear "2023" @default.
• W4376609569 type Work @default.
• W4376609569 citedByCount "0" @default.
• W4376609569 crossrefType "journal-article" @default.
• W4376609569 hasAuthorship W4376609569A5062065155 @default.
• W4376609569 hasBestOaLocation W43766095691 @default.
• W4376609569 hasConcept C111919701 @default.
• W4376609569 hasConcept C114614502 @default.
• W4376609569 hasConcept C118615104 @default.
• W4376609569 hasConcept C124101348 @default.
• W4376609569 hasConcept C134306372 @default.
• W4376609569 hasConcept C144237770 @default.
• W4376609569 hasConcept C151797676 @default.
• W4376609569 hasConcept C153046414 @default.
• W4376609569 hasConcept C167729594 @default.
• W4376609569 hasConcept C177264268 @default.
• W4376609569 hasConcept C199360897 @default.
• W4376609569 hasConcept C2524010 @default.
• W4376609569 hasConcept C2778701210 @default.
• W4376609569 hasConcept C311688 @default.
• W4376609569 hasConcept C33923547 @default.
• W4376609569 hasConcept C41008148 @default.
• W4376609569 hasConcept C78023250 @default.
• W4376609569 hasConcept C87117476 @default.
• W4376609569 hasConcept C90119067 @default.
• W4376609569 hasConcept C98045186 @default.
• W4376609569 hasConceptScore W4376609569C111919701 @default.
• W4376609569 hasConceptScore W4376609569C114614502 @default.
• W4376609569 hasConceptScore W4376609569C118615104 @default.
• W4376609569 hasConceptScore W4376609569C124101348 @default.
• W4376609569 hasConceptScore W4376609569C134306372 @default.
• W4376609569 hasConceptScore W4376609569C144237770 @default.
• W4376609569 hasConceptScore W4376609569C151797676 @default.
• W4376609569 hasConceptScore W4376609569C153046414 @default.
• W4376609569 hasConceptScore W4376609569C167729594 @default.
• W4376609569 hasConceptScore W4376609569C177264268 @default.
• W4376609569 hasConceptScore W4376609569C199360897 @default.
• W4376609569 hasConceptScore W4376609569C2524010 @default.
• W4376609569 hasConceptScore W4376609569C2778701210 @default.

• next