Matches in SemOpenAlex for { <https://semopenalex.org/work/W3166384624> ?p ?o ?g. }
- W3166384624 abstract "The tower number $mathfrak t$ and the ultrafilter number $mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$omega$ and the almost inclusion relation $subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin's characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e. set computes a maximal tower but no 1-generic $Delta^0_2$-set does so. We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively." @default.
- W3166384624 created "2021-06-22" @default.
- W3166384624 creator A5030197582 @default.
- W3166384624 creator A5032435178 @default.
- W3166384624 creator A5047690936 @default.
- W3166384624 creator A5064815634 @default.
- W3166384624 date "2021-06-01" @default.
- W3166384624 modified "2023-09-27" @default.
- W3166384624 title "Maximal towers and ultrafilter bases in computability" @default.
- W3166384624 cites W1545863051 @default.
- W3166384624 cites W1574049752 @default.
- W3166384624 cites W1981894804 @default.
- W3166384624 cites W2012723279 @default.
- W3166384624 cites W2016460164 @default.
- W3166384624 cites W2049178364 @default.
- W3166384624 cites W2056414301 @default.
- W3166384624 cites W2064984186 @default.
- W3166384624 cites W2094083598 @default.
- W3166384624 cites W2121739804 @default.
- W3166384624 cites W2137527449 @default.
- W3166384624 cites W2152493279 @default.
- W3166384624 cites W2334508319 @default.
- W3166384624 cites W2790745380 @default.
- W3166384624 cites W2904089161 @default.
- W3166384624 cites W2962946272 @default.
- W3166384624 hasPublicationYear "2021" @default.
- W3166384624 type Work @default.
- W3166384624 sameAs 3166384624 @default.
- W3166384624 citedByCount "0" @default.
- W3166384624 crossrefType "posted-content" @default.
- W3166384624 hasAuthorship W3166384624A5030197582 @default.
- W3166384624 hasAuthorship W3166384624A5032435178 @default.
- W3166384624 hasAuthorship W3166384624A5047690936 @default.
- W3166384624 hasAuthorship W3166384624A5064815634 @default.
- W3166384624 hasConcept C114614502 @default.
- W3166384624 hasConcept C118615104 @default.
- W3166384624 hasConcept C120665830 @default.
- W3166384624 hasConcept C121332964 @default.
- W3166384624 hasConcept C127413603 @default.
- W3166384624 hasConcept C14036430 @default.
- W3166384624 hasConcept C147176958 @default.
- W3166384624 hasConcept C152062344 @default.
- W3166384624 hasConcept C177264268 @default.
- W3166384624 hasConcept C199360897 @default.
- W3166384624 hasConcept C207467116 @default.
- W3166384624 hasConcept C2524010 @default.
- W3166384624 hasConcept C2777831296 @default.
- W3166384624 hasConcept C2779557605 @default.
- W3166384624 hasConcept C2780841128 @default.
- W3166384624 hasConcept C33436860 @default.
- W3166384624 hasConcept C33923547 @default.
- W3166384624 hasConcept C41008148 @default.
- W3166384624 hasConcept C45340560 @default.
- W3166384624 hasConcept C62520636 @default.
- W3166384624 hasConcept C78458016 @default.
- W3166384624 hasConcept C86803240 @default.
- W3166384624 hasConcept C87598191 @default.
- W3166384624 hasConceptScore W3166384624C114614502 @default.
- W3166384624 hasConceptScore W3166384624C118615104 @default.
- W3166384624 hasConceptScore W3166384624C120665830 @default.
- W3166384624 hasConceptScore W3166384624C121332964 @default.
- W3166384624 hasConceptScore W3166384624C127413603 @default.
- W3166384624 hasConceptScore W3166384624C14036430 @default.
- W3166384624 hasConceptScore W3166384624C147176958 @default.
- W3166384624 hasConceptScore W3166384624C152062344 @default.
- W3166384624 hasConceptScore W3166384624C177264268 @default.
- W3166384624 hasConceptScore W3166384624C199360897 @default.
- W3166384624 hasConceptScore W3166384624C207467116 @default.
- W3166384624 hasConceptScore W3166384624C2524010 @default.
- W3166384624 hasConceptScore W3166384624C2777831296 @default.
- W3166384624 hasConceptScore W3166384624C2779557605 @default.
- W3166384624 hasConceptScore W3166384624C2780841128 @default.
- W3166384624 hasConceptScore W3166384624C33436860 @default.
- W3166384624 hasConceptScore W3166384624C33923547 @default.
- W3166384624 hasConceptScore W3166384624C41008148 @default.
- W3166384624 hasConceptScore W3166384624C45340560 @default.
- W3166384624 hasConceptScore W3166384624C62520636 @default.
- W3166384624 hasConceptScore W3166384624C78458016 @default.
- W3166384624 hasConceptScore W3166384624C86803240 @default.
- W3166384624 hasConceptScore W3166384624C87598191 @default.
- W3166384624 hasLocation W31663846241 @default.
- W3166384624 hasOpenAccess W3166384624 @default.
- W3166384624 hasPrimaryLocation W31663846241 @default.
- W3166384624 hasRelatedWork W1985615626 @default.
- W3166384624 hasRelatedWork W2004108503 @default.
- W3166384624 hasRelatedWork W2032527487 @default.
- W3166384624 hasRelatedWork W2062370528 @default.
- W3166384624 hasRelatedWork W2087817066 @default.
- W3166384624 hasRelatedWork W2087913324 @default.
- W3166384624 hasRelatedWork W2112872662 @default.
- W3166384624 hasRelatedWork W2134618632 @default.
- W3166384624 hasRelatedWork W2233140512 @default.
- W3166384624 hasRelatedWork W2233228795 @default.
- W3166384624 hasRelatedWork W2263327792 @default.
- W3166384624 hasRelatedWork W2342937936 @default.
- W3166384624 hasRelatedWork W247209993 @default.
- W3166384624 hasRelatedWork W2906147409 @default.
- W3166384624 hasRelatedWork W2953361700 @default.
- W3166384624 hasRelatedWork W2963511265 @default.
- W3166384624 hasRelatedWork W2995523799 @default.