首页> 外文OA文献 >GENERALIZED PRIKRY FORCING AND ITERATION OF GENERIC ULTRAPOWERS (Set Theory and Computability Theory of the Reals)

【2h】

GENERALIZED PRIKRY FORCING AND ITERATION OF GENERIC ULTRAPOWERS (Set Theory and Computability Theory of the Reals)

机译：通用超功率的广义PRICRY强制和迭代（实数集理论和可计算性理论）

页面导航

著录项
相似文献
相关主题

著录项

作者
Sakai Hiroshi;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Generalized Prikry forcing and iteration of generic ultrapowers [J] . Hiroshi Sakai Mathematical logic quarterly: MLQ . 2005,第5期

机译：通用Prikry强制和通用超能力的迭代
2. Generalizing realizability and Heyting models for constructive set theory [J] . Ziegler A. Annals of Pure and Applied Logic . 2012,第2期

机译：建设性集合论的可实现性和Heyting模型的一般化
3. Generalizing realizability and Heyting models for constructive set theory [J] . Ziegler A. Annals of Pure and Applied Logic . 2012,第2期

机译：建设性集合论的可实现性和Heyting模型的一般化
4. The Evaluation Method for Augmented Reality Transformer under the Fusion Sets Pair Analysis and Generalized Evidence Theory [C] . Shuangbai He, Junfeng Li, Xiao Liu, Workshop on Advanced Research and Technology in Industry Applications . 2017

机译：融合下增强现实变压器的评价方法对分析与广义证据理论
5. Relations Between Set Theory and Computability Theory: the Case for Localization Numbers and Sets Closed Under Turing Equivalence [D] . Ongay Valverde, Iván. 2020

机译：集合理论与计算性理论的关系：定位数字的情况下的定位数量依据
6. Fundamentals of negative refractive index optical trapping: forces and radiation pressures exerted by focused Gaussian beams using the generalized Lorenz-Mie theory [O] . Leonardo A. Ambrosio, Hugo E. Hernández-Figueroa 2010

机译：负折射率光学陷阱的基本原理：使用广义Lorenz-Mie理论的聚焦高斯光束施加的力和辐射压力
7. A weak reflection compatible with tail club guessing via semiproper iteration(The interplay between set theory of the reals and iterated forcing) [O] . MIYAMOTO Tadatoshi 2007

机译：弱反射与通过半正确迭代进行的尾部俱乐部猜测兼容（实数集理论与迭代强迫之间的相互作用）
8. Application of Generalized Function Theory to Network Realizability Theory and Time Domain Synthesis of Positive-Real Functions [R] . Zemanian, A. H. 1968

机译：广义函数理论在网络可实现性理论中的应用及正实函数的时域综合

GENERALIZED PRIKRY FORCING AND ITERATION OF GENERIC ULTRAPOWERS (Set Theory and Computability Theory of the Reals)

著录项

相似文献

相关主题

期刊订阅