Embedding distributive lattices in the Σ_2~0 enumeration degrees

HRISTO GANCHEV; MARIYA SOSKOVA

首页> 外文期刊>Journal of logic and computation >Embedding distributive lattices in the Σ_2~0 enumeration degrees

【24h】

Embedding distributive lattices in the Σ_2~0 enumeration degrees

机译：在Σ_2〜0枚举度中嵌入分布格

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

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

摘要

We prove that every countable distributive lattice is embeddable in the Σ_2~0 enumeration degrees via a 0-1 preserving monomorphism. Moreover, we prove that every countable distributive lattice is embeddable below arbitrary Δ_2~0 degree via a 0 preserving monomorphism.

机译：我们证明了每个可数分布格通过0-1保留单态可嵌入Σ_2〜0枚举度。此外，我们证明了每个可数分布晶格都可以通过保留0的单态性嵌入到任意Δ_2〜0度以下。

著录项

来源
《Journal of logic and computation》 |2012年第4期|p.779-792|共14页
作者
HRISTO GANCHEV; MARIYA SOSKOVA;
展开▼
作者单位

Department of Mathematical Logic, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria;

Department of Mathematical Logic, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
enumeration degrees; local theory; distributive lattices; embeddings;

机译：枚举度地方理论分布晶格嵌入;

相似文献

外文文献
中文文献
专利

1. Embedding finite lattices into the ∑_2~0 enumeration degrees [J] . Steffen Lempp, Andrea Sorbi Journal of Symbolic Logic . 2002,第1期

机译：将有限晶格嵌入∑_2〜0枚举度
2. Embedding finite lattices into the ideals of computably enumerable turing degrees [J] . William C. Calhoun, Manuel Lerman Journal of Symbolic Logic . 2001,第4期

机译：将有限晶格嵌入可计算的可数度的理想中
3. Embedding countable partial orderings in the enumeration degrees and the ω-enumeration degrees [J] . MARIYAI. SOSKOVA, IVAN N. SOSKOV Journal of logic and computation . 2012,第4期

机译：将可数偏序嵌入到枚举度和ω枚举度中
4. Kripke Models, Distributive Lattices, and Medvedev Degrees [C] . Sebastiaan A. Terwijn Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL) . 2005

机译：Kripke模型，分配格和Medvedev度
5. Towards Find a Lattice that Characterizes the > ω2-Fickle Recursively Enumerable Turing Degrees [D] . Ko, Liling. 2021

机译：寻找一个特征的格子，其递归令人令人令人令人令人令人享受
6. Random walk properties from lattice bond enumeration: Steady-state diffusion on two- and three-dimensional lattices with traps [O] . Kurt E. Shuler, Udayan Mohanty 1982

机译：晶格键枚举的随机游走特性：带陷阱的二维和三维晶格上的稳态扩散
7. Embedding Distributive Lattices Preserving 1 Below a Nonzero Recursively Enumerable Turing Degree [O] . Klaus Ambos-Spies, Ding Decheng, Peter A. Fejer 2007

机译：嵌入在非零递归可枚举图灵度以下的保留1的分配格

Embedding distributive lattices in the Σ_2~0 enumeration degrees

摘要

著录项

相似文献

相关主题

期刊订阅