Vw Is Not a Heyting Algebra

机译：大众汽车不是Heyting代数

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Let Vw denote the set of weak degrees of nonempty II_1~O classes in the Cantor space 2". We show that Vw is not a Heyting algebra. This is a solution to a question presented by Simpson [3].

机译：令Vw表示Cantor空间2”中非空II_1〜O类的弱度集。我们证明Vw不是Heyting代数。这是辛普森[3]提出的一个问题的解决方案。

著录项

来源
《Programs, proofs, processes》|2010年|p.190-194|共5页
会议地点 Ponta Delgada(PL);Ponta Delgada(PL)
作者
Kojiro Higuchi;
展开▼
作者单位

Mathematical institute, Tohoku University, 6-3, Aramaki Aoba, Aoba-ku, Sendai, Miyagi, Japan;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
II_1~O classes; weak reducibility; Heyting algebras;

机译：II_1〜O类；可还原性差; Heyting代数;

相似文献

外文文献
中文文献
专利

1. A new characterization of complete Heyting and co-Heyting algebras [J] . Ranzato Francesco Logical Methods in Computer Science . 2017,第3期

机译：完全Heyting和co-Heyting代数的新特征
2. Subalgebras of Heyting and De Morgan Heyting Algebras [J] . Valeria Casta?o, Marcela Mu?oz Santis Studia Logica . 2011,第1a2期

机译：Heyting和De Morgan Heyting代数的子代数
3. Subalgebras of Heyting and De Morgan Heyting Algebras [J] . Casta?o V., Santis M.M. Studia Logica . 2011,第1a2期

机译：Heyting和De Morgan Heyting代数的子代数
4. IMPLICATION ALGEBRA ON A PARTIALLY ORDERED SET AND HEYTING ALGEBRA [C] . Zhi-wei Li, Chong-you Zheng The Fourth International Conference on Systems Science and Systems Engineering (ICSSSE'03); Nov 25-28, 2003; Hong Kong SAR, China . 2003

机译：部分有序集上的蕴涵代数和Heyting代数
5. Computability of Heyting algebras and distributive lattices. [D] . Turlington, Amy. 2010

机译：Heyting代数和分布格的可计算性。
6. Successful desensitization in a patient with Von Willebrand´s disease and anaphylaxis to factor VIII/VW [O] . Maristela Olival, Mara Felix, Monica Soares, 2014

机译：Von Willebrand病患者成功脱敏并对VIII / VW过敏
7. Lógica intuicionista dual y álgebras de Co-Heyting / Dual intuitionistic logic and Co-Heyting algebras [O] . Gutiérrez Chaparro Javier Alberto 2009

机译：双直觉逻辑和Co-Heyting代数

Vw Is Not a Heyting Algebra

摘要

著录项

相似文献

相关主题

期刊订阅