Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300133711> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4300133711 abstract "We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one's choice of definitions it is either provable in $mathsf{RCA}_0$ or equivalent to $mathsf{ACA}_0$." @default.
- W4300133711 created "2022-10-03" @default.
- W4300133711 creator A5027589956 @default.
- W4300133711 date "2010-10-11" @default.
- W4300133711 modified "2023-09-30" @default.
- W4300133711 title "Infinite saturated orders" @default.
- W4300133711 doi "https://doi.org/10.48550/arxiv.1010.2219" @default.
- W4300133711 hasPublicationYear "2010" @default.
- W4300133711 type Work @default.
- W4300133711 citedByCount "0" @default.
- W4300133711 crossrefType "posted-content" @default.
- W4300133711 hasAuthorship W4300133711A5027589956 @default.
- W4300133711 hasBestOaLocation W43001337111 @default.
- W4300133711 hasConcept C10138342 @default.
- W4300133711 hasConcept C114614502 @default.
- W4300133711 hasConcept C118615104 @default.
- W4300133711 hasConcept C120665830 @default.
- W4300133711 hasConcept C121332964 @default.
- W4300133711 hasConcept C127753061 @default.
- W4300133711 hasConcept C134306372 @default.
- W4300133711 hasConcept C151730666 @default.
- W4300133711 hasConcept C162324750 @default.
- W4300133711 hasConcept C167729594 @default.
- W4300133711 hasConcept C177264268 @default.
- W4300133711 hasConcept C182306322 @default.
- W4300133711 hasConcept C199360897 @default.
- W4300133711 hasConcept C202444582 @default.
- W4300133711 hasConcept C2524010 @default.
- W4300133711 hasConcept C2779343474 @default.
- W4300133711 hasConcept C2780069185 @default.
- W4300133711 hasConcept C2780841128 @default.
- W4300133711 hasConcept C33923547 @default.
- W4300133711 hasConcept C41008148 @default.
- W4300133711 hasConcept C86803240 @default.
- W4300133711 hasConcept C9376300 @default.
- W4300133711 hasConceptScore W4300133711C10138342 @default.
- W4300133711 hasConceptScore W4300133711C114614502 @default.
- W4300133711 hasConceptScore W4300133711C118615104 @default.
- W4300133711 hasConceptScore W4300133711C120665830 @default.
- W4300133711 hasConceptScore W4300133711C121332964 @default.
- W4300133711 hasConceptScore W4300133711C127753061 @default.
- W4300133711 hasConceptScore W4300133711C134306372 @default.
- W4300133711 hasConceptScore W4300133711C151730666 @default.
- W4300133711 hasConceptScore W4300133711C162324750 @default.
- W4300133711 hasConceptScore W4300133711C167729594 @default.
- W4300133711 hasConceptScore W4300133711C177264268 @default.
- W4300133711 hasConceptScore W4300133711C182306322 @default.
- W4300133711 hasConceptScore W4300133711C199360897 @default.
- W4300133711 hasConceptScore W4300133711C202444582 @default.
- W4300133711 hasConceptScore W4300133711C2524010 @default.
- W4300133711 hasConceptScore W4300133711C2779343474 @default.
- W4300133711 hasConceptScore W4300133711C2780069185 @default.
- W4300133711 hasConceptScore W4300133711C2780841128 @default.
- W4300133711 hasConceptScore W4300133711C33923547 @default.
- W4300133711 hasConceptScore W4300133711C41008148 @default.
- W4300133711 hasConceptScore W4300133711C86803240 @default.
- W4300133711 hasConceptScore W4300133711C9376300 @default.
- W4300133711 hasLocation W43001337111 @default.
- W4300133711 hasLocation W43001337112 @default.
- W4300133711 hasOpenAccess W4300133711 @default.
- W4300133711 hasPrimaryLocation W43001337111 @default.
- W4300133711 hasRelatedWork W1748582773 @default.
- W4300133711 hasRelatedWork W1978042415 @default.
- W4300133711 hasRelatedWork W1984301931 @default.
- W4300133711 hasRelatedWork W2012356363 @default.
- W4300133711 hasRelatedWork W2038106543 @default.
- W4300133711 hasRelatedWork W2059034874 @default.
- W4300133711 hasRelatedWork W2156697727 @default.
- W4300133711 hasRelatedWork W2950073210 @default.
- W4300133711 hasRelatedWork W2964187826 @default.
- W4300133711 hasRelatedWork W4300133711 @default.
- W4300133711 isParatext "false" @default.
- W4300133711 isRetracted "false" @default.
- W4300133711 workType "article" @default.