Cardinalities of definable sets in superstructures over models

2010

Жабық қол жеткізу Метадеректер (CSL-JSON)
DOI 10.3103/s1055134410010025
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

We introduce the notion of a superstructure over a model. This is a generalization of the notion of the hereditarily finite superstructure ℍ $$ \mathbb{F}\mathfrak{M} $$ over a model $$ \mathfrak{M} $$ . We consider the question on cardinalities of definable (interpretable) sets in superstructures over λ-homogeneous and λ-saturated models.