Near coherence of filters. I. Cofinal equivalence of models of arithmetic

Near coherence of filters. I. Cofinal equivalence of models of arithmetic
复制标题

过滤器接近一致。

DOI:
10.1305/ndjfl/1093636772
复制
发表时间:
1986
期刊:
Notre Dame J. Formal Log.
影响因子:
--
通讯作者:
A. Blass
A. Blass
中科院分区:
--
文献类型:
--
作者:
A. Blass

文献摘要

被引文献

相似文献

介绍滤波器的准相干性原理并将其等效为图斯的非标准算法
Introduction d'un principe ensembliste de la quasi coherence des filtres dont l'effet est de rendre equivalents tous les modeles non standards courts de l'arithmetique