admin管理员组文章数量:1566629
摘要:
Suppose in an arithmetic universe we have two predicates and ψ for natural numbers, satisfying a base case (0)→ψ(0) and an induction step that, for generic n, the hypothesis (n)→ψ(n) allows one to deduce (n+1)→ψ(n+1). Then it is already true in that arithmetic universe that (n)((n)→ψ(n)). This is substantially harder than in a topos, where cartesian closedness allows one to form an exponential (n)→ψ(n). The principle is applied to the question of locatedness of Dedekind sections. The development analyses in some detail a notion of "subspace" of an arithmetic universe, including open or closed subspaces and a Boolean algebra generated by them. There is a lattice of subspaces generated by the open and the closed, and it is isomorphic to the free Boolean algebra over the distributive lattice of subobjects of 1 in the arithmetic universe.
展开
本文标签: inductionsignaturearithmeticunivPrinciple
版权声明:本文标题:signature=03f882b1493b2f633252f15c9dc6f833,An induction principle for consequence in arithmetic univ... 内容由热心网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:https://www.elefans.com/dianzi/1726651564a1080014.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论