Order-type of models of PA
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 30/100
- Issue 类型
- 文档
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- tex
调研方向
从当前对每个 PA 的非标准模型都具有序类型 N+ZxQ 这一证明的介绍开始，尤其关注引入块的命题。明确每个结果的准确陈述，展开较为粗略的证明，并评估在哪些地方加入图示和调整命题顺序会改善论述。当这一高级结果在保持直观呈现的同时具备技术上的精确性时，即视为完成。
由索引模型根据 Issue 内容生成。
描述
I'd like to do a bit of work on the proof that every non-standard model of PA has order-type N+ZxQ. Some of the proofs are quite sketchy and I'd like to add a bit more detail, but I also wondered about going beyond this and changing the overall presentation to be a bit more precise about what's being proved, and perhaps restructuring the sequence of propositions a bit.
Does this sound reasonable? My thought here is that this is a fairly advanced result by Open Logic standards, and as such if it's being taught at all then it should be ok if it's presented in a somewhat more technical manner. I don't want to lose the intuitiveness of the current presentation (and in fact it would actually be nice to add more diagrams, as I think this is a result which is particularly amenable to them) but when I was teaching this myself I found it wasn't always clear what the exact statement of a given result was (e.g. in the proposition that introduces the idea of a block).
- 主要语言
- TeX
- 星标
- 1.4k
- 派生
- 289
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
OpenLogicProject/OpenLogic 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 65/100
OpenLogicProject/OpenLogic#339 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 50/100
OpenLogicProject/OpenLogic#436 ·
-
难度 3/5 1-2 天 新手友好度 68/100
OpenLogicProject/OpenLogic#435 · 1 条评论 ·
-
Improve docs未关闭
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#390 ·
-
难度 4/5 3-5 天 新手友好度 30/100
OpenLogicProject/OpenLogic#389 · 1 条评论 ·
查看 OpenLogicProject/OpenLogic 的全部 Issue
相似的 Issue
-
changelog investigate
难度 2/5 1-3 小时 新手友好度 68/100
ramnes/notion-sdk-py#408 ·
-
triage
难度 2/5 1-3 小时 新手友好度 75/100
维护者通常 1 天内回复
-
bug
难度 1/5 1-3 小时 新手友好度 72/100
peteonrails/voxtype#844 ·
维护者通常 1 天内回复
-
enhancement priority:low ready-for-dev
难度 2/5 1-3 小时 新手友好度 75/100
维护者通常 1 天内回复
-
enhancement good first issue
难度 2/5 1-3 小时 新手友好度 84/100