Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297663203> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4297663203 abstract "We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $subseteq$-maximal subfamily with the finite intersection property and the principle asserting that if $P$ is a property of finite character then every set has a $subseteq$-maximal subset of which $P$ holds. We show that these principles and their variations have a wide range of strengths in the context of second-order arithmetic, from being equivalent to $mathsf{Z}_2$ to being weaker than $mathsf{ACA}_0$ and incomparable with $mathsf{WKL}_0$. In particular, we identify a choice principle that, modulo $Sigma^0_2$ induction, lies strictly below the atomic model theorem principle $mathsf{AMT}$ and implies the omitting partial types principle $mathsf{OPT}$." @default.
- W4297663203 created "2022-09-30" @default.
- W4297663203 creator A5027589956 @default.
- W4297663203 creator A5083753050 @default.
- W4297663203 date "2010-09-16" @default.
- W4297663203 modified "2023-09-25" @default.
- W4297663203 title "Reverse mathematics and equivalents of the axiom of choice" @default.
- W4297663203 doi "https://doi.org/10.48550/arxiv.1009.3242" @default.
- W4297663203 hasPublicationYear "2010" @default.
- W4297663203 type Work @default.
- W4297663203 citedByCount "0" @default.
- W4297663203 crossrefType "posted-content" @default.
- W4297663203 hasAuthorship W4297663203A5027589956 @default.
- W4297663203 hasAuthorship W4297663203A5083753050 @default.
- W4297663203 hasBestOaLocation W42976632031 @default.
- W4297663203 hasConcept C110729354 @default.
- W4297663203 hasConcept C114614502 @default.
- W4297663203 hasConcept C118615104 @default.
- W4297663203 hasConcept C127413603 @default.
- W4297663203 hasConcept C127753061 @default.
- W4297663203 hasConcept C134306372 @default.
- W4297663203 hasConcept C146978453 @default.
- W4297663203 hasConcept C151730666 @default.
- W4297663203 hasConcept C151797676 @default.
- W4297663203 hasConcept C153046414 @default.
- W4297663203 hasConcept C162392398 @default.
- W4297663203 hasConcept C167729594 @default.
- W4297663203 hasConcept C177264268 @default.
- W4297663203 hasConcept C199360897 @default.
- W4297663203 hasConcept C2524010 @default.
- W4297663203 hasConcept C2779343474 @default.
- W4297663203 hasConcept C33923547 @default.
- W4297663203 hasConcept C41008148 @default.
- W4297663203 hasConcept C54732982 @default.
- W4297663203 hasConcept C64543145 @default.
- W4297663203 hasConcept C86803240 @default.
- W4297663203 hasConceptScore W4297663203C110729354 @default.
- W4297663203 hasConceptScore W4297663203C114614502 @default.
- W4297663203 hasConceptScore W4297663203C118615104 @default.
- W4297663203 hasConceptScore W4297663203C127413603 @default.
- W4297663203 hasConceptScore W4297663203C127753061 @default.
- W4297663203 hasConceptScore W4297663203C134306372 @default.
- W4297663203 hasConceptScore W4297663203C146978453 @default.
- W4297663203 hasConceptScore W4297663203C151730666 @default.
- W4297663203 hasConceptScore W4297663203C151797676 @default.
- W4297663203 hasConceptScore W4297663203C153046414 @default.
- W4297663203 hasConceptScore W4297663203C162392398 @default.
- W4297663203 hasConceptScore W4297663203C167729594 @default.
- W4297663203 hasConceptScore W4297663203C177264268 @default.
- W4297663203 hasConceptScore W4297663203C199360897 @default.
- W4297663203 hasConceptScore W4297663203C2524010 @default.
- W4297663203 hasConceptScore W4297663203C2779343474 @default.
- W4297663203 hasConceptScore W4297663203C33923547 @default.
- W4297663203 hasConceptScore W4297663203C41008148 @default.
- W4297663203 hasConceptScore W4297663203C54732982 @default.
- W4297663203 hasConceptScore W4297663203C64543145 @default.
- W4297663203 hasConceptScore W4297663203C86803240 @default.
- W4297663203 hasLocation W42976632031 @default.
- W4297663203 hasOpenAccess W4297663203 @default.
- W4297663203 hasPrimaryLocation W42976632031 @default.
- W4297663203 hasRelatedWork W1534427269 @default.
- W4297663203 hasRelatedWork W1559682655 @default.
- W4297663203 hasRelatedWork W1658992829 @default.
- W4297663203 hasRelatedWork W1987660018 @default.
- W4297663203 hasRelatedWork W1989586176 @default.
- W4297663203 hasRelatedWork W2022172691 @default.
- W4297663203 hasRelatedWork W3048792601 @default.
- W4297663203 hasRelatedWork W3099017129 @default.
- W4297663203 hasRelatedWork W3126455849 @default.
- W4297663203 hasRelatedWork W995428388 @default.
- W4297663203 isParatext "false" @default.
- W4297663203 isRetracted "false" @default.
- W4297663203 workType "article" @default.