More on the Strength of Engeler's Lemma

Jan Paseka

首页> 外文期刊>Order >More on the Strength of Engeler's Lemma

【24h】

More on the Strength of Engeler's Lemma

机译：有关恩格勒引理的强度的更多信息

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We introduce semilattices equipped with a partial n-ary operation ρ. A useful separation lemma for such nontrivial complete partial ρ-semilattices is proved equivalent to PIT, the prime ideal theorem. The relation of various versions of the Lemma to each

机译：我们介绍配备有部分n元运算ρ的半格。证明了此类非平凡的完全局部ρ半符号的有用分离引理等效于PIT，即最理想理论。引理的各种版本与每个版本的关系

著录项

来源
《Order》 |2008年第1期|p.69-77|共9页
作者
Jan Paseka;
展开▼
作者单位

Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Janackovo nam. 2a, 602 00 Brno, Czech Republic;

展开▼
收录信息美国《科学引文索引》(SCI);
原文格式 PDF
正文语种 eng
中图分类高等数学;
关键词
prime ideal theorem; partial ρ-semilattice; ρ-prime element; engeler's lemma;

机译：素理想定理;部分ρ半符号;ρ素元;恩格勒引理;

相似文献

外文文献
中文文献
专利

1. More on the Strength of Engeler’s Lemma [J] . Jan Paseka Order . 2008,第1期

机译：有关恩格勒引力的更多信息
2. The strength of Engeler's lemma [J] . Paseka J Mathematical structures in computer science . 2006,第2期

机译：恩格勒引理的力量
3. ENGELER AUTOMOBILE VERTRAUT AUF DIE KRANKENVERSICHERUNG DER HELSANA [J] . Auto & Wirtschaft . 2012,第9期

机译：恩格尔汽车与HELSANA的健康保险有关
4. Euclid,tarski,and engeler encompassed [C] . Jan Paredaens, Bart Kuijpers, Gabriel Kuper, International workshop on database programming languages . 1998

机译：欧几里德，Tarski和Engeler包围了
5. Automated Lemma Generation and Multi-Context Schemes for Rewriting Induction [D] . 季, 承成 2019

机译：自动引理生成和用于重写归纳的多上下文方案
6. STRENGTHENING OF SPERNERS LEMMA APPLIED TO HOMOLOGY THEORY [O] . A. B. Brown, S. S. Cairns 1961

机译：加强Sperner律在同源理论中的应用
7. Engeler's scientific work [O] . Specker, E. 2017

机译：恩格勒的科学著作

More on the Strength of Engeler's Lemma

摘要

著录项

相似文献

相关主题

期刊订阅