Set Functors and Filters

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10294803" target="_blank" >RIV/00216208:11320/15:10294803 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/article/10.1007/s10485-014-9367-6?no-access=true" target="_blank" >http://link.springer.com/article/10.1007/s10485-014-9367-6?no-access=true</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10485-014-9367-6" target="_blank" >10.1007/s10485-014-9367-6</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Set Functors and Filters

Popis výsledku v původním jazyce

For a filter F let cF(?) be the cardinality of the set of all filters isomorphic to F on a cardinal ?. We derive formulas for these functions similar to cardinal exponential formulas. We show that precise values of the function cF depends on the filter Fand also on the axioms of set theory. We apply these results to get a description of the function bF for a set functor F (bF(?) is the cardinality of F ? for a cardinal ?). We prove that the function bF depends on the functor F and on the axioms of settheory. For a partial cardinal function d, we find a sufficient condition for the existence of a set functor F with d(?)=bF(?) for all cardinals ? such that d(?) is defined. We prove that a functor F is finitary if and only if there exists a cardinal ? such that bF(?) is less or equal to ? for every cardinal ? greater or equal to ?. We prove an analogous necessary condition for small set functors and we prove that the precise characterization of small set functors depends on the axioms o

Název v anglickém jazyce

Set Functors and Filters

Popis výsledku anglicky

For a filter F let cF(?) be the cardinality of the set of all filters isomorphic to F on a cardinal ?. We derive formulas for these functions similar to cardinal exponential formulas. We show that precise values of the function cF depends on the filter Fand also on the axioms of set theory. We apply these results to get a description of the function bF for a set functor F (bF(?) is the cardinality of F ? for a cardinal ?). We prove that the function bF depends on the functor F and on the axioms of settheory. For a partial cardinal function d, we find a sufficient condition for the existence of a set functor F with d(?)=bF(?) for all cardinals ? such that d(?) is defined. We prove that a functor F is finitary if and only if there exists a cardinal ? such that bF(?) is less or equal to ? for every cardinal ? greater or equal to ?. We prove an analogous necessary condition for small set functors and we prove that the precise characterization of small set functors depends on the axioms o

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Applied Categorical Structures

ISSN

0927-2852

e-ISSN

—

Svazek periodika

23

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

27

Strana od-do

337-363

Kód UT WoS článku

—

EID výsledku v databázi Scopus

2-s2.0-84929964529