当前位置: X-MOL 学术Math. Logic Q. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The Cichoń diagram for degrees of relative constructibility
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2020-06-23 , DOI: 10.1002/malq.201900062
Corey Bacal Switzer 1
Affiliation  

Following a line of research initiated in \cite{BBNN}, I describe a general framework for turning reduction concepts of relative computability into diagrams forming an analogy with the Cicho\'n diagram for cardinal characteristics of the continuum. I show that working from relatively modest assumptions about a notion of reduction, one can construct a robust version of such a diagram. As an application, I define and investigate the Cicho\'n Diagram for degrees of constructibility relative to a fixed inner model $W$. Many analogies hold with the classical theory as well as some surprising differences. Along the way I introduce a new axiom stating, roughly, that the constructibility diagram is as complex as possible.

中文翻译:

相对可构造度的 Cichoń 图

遵循 \cite{BBNN} 中发起的一系列研究,我描述了将相对可计算性的归约概念转化为图表的一般框架,该图表形成了与连续统的基本特征的 Cicho\'n 图的类比。我表明,从关于归约概念的相对温和的假设出发,人们可以构建出这样一个图的稳健版本。作为一个应用程序,我定义并研究了 Cicho\'n Diagram 相对于固定内部模型 $W$ 的可构造程度。许多类比适用于经典理论,也有一些令人惊讶的差异。在此过程中,我引入了一个新的公理,粗略地说,可构造性图尽可能复杂。
更新日期:2020-06-23
down
wechat
bug