DNR215 发表于 2025-3-28 16:07:37

http://reply.papertrans.cn/24/2321/232031/232031_41.png

人类 发表于 2025-3-28 20:45:35

http://reply.papertrans.cn/24/2321/232031/232031_42.png

DEFER 发表于 2025-3-28 23:13:08

http://reply.papertrans.cn/24/2321/232031/232031_43.png

构想 发表于 2025-3-29 05:22:34

Scott S. Lenobel,Jason E. Payne,Joseph S. Yueteness of the theory of the class of all Rogers semilattices of any fixed level. Finally, no Rogers semilattice of any infinite family at arithmetical level . ≥ 2 is weakly distributive, whereas Rogers semilattices of finite families are always distributive.

Indicative 发表于 2025-3-29 07:38:34

Stress Management: Individual Strategies,ata types. Along with the general theory of positive structures we consider also positive structures of special kind (the most interesting results are obtained for positive boolean algebras) and some appliations of positive structures to logic and computability theory.

方便 发表于 2025-3-29 12:31:14

http://reply.papertrans.cn/24/2321/232031/232031_46.png

abduction 发表于 2025-3-29 15:55:21

http://reply.papertrans.cn/24/2321/232031/232031_47.png

散开 发表于 2025-3-29 21:40:56

http://reply.papertrans.cn/24/2321/232031/232031_48.png

hangdog 发表于 2025-3-30 03:17:01

Scott S. Lenobel,Jason E. Payne,Joseph S. Yuwith this characterization we introduce the notion of a perfect topological structure. In particular, these structures are effectively categorical, i.e. they characterize their own computability theory. Important examples of perfect structures are provided by metric spaces and additional attention is paid to their effective subsets.

CANDY 发表于 2025-3-30 07:06:10

http://reply.papertrans.cn/24/2321/232031/232031_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Computability and Models; Perspectives East an S. Barry Cooper,Sergey S. Goncharov Book 2003 Kluwer Academic / Plenum Publishers, New York