阴谋
发表于 2025-3-25 06:18:18
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructionsscheme and the power set axiom. The strength of .plus full separation is the same as that of second order arithmetic, using a straightforward realizability interpretation in classical second order arithmetic and the fact that second order Heyting arithmetic is already embedded in .plus full separati
gnarled
发表于 2025-3-25 10:53:05
http://reply.papertrans.cn/32/3134/313350/313350_22.png
meritorious
发表于 2025-3-25 12:14:31
http://reply.papertrans.cn/32/3134/313350/313350_23.png
圆桶
发表于 2025-3-25 16:58:54
Kurzes Handbuch der Ophtalmologie the challenge of the restricted unprovability result; in (1931b) he responds to the second incompleteness theorem concerning the unprovability of consistency for a system S in S. He does so by bringing in semantic considerations and by pursuing novel, but also highly problematic directions: he argu
Colonnade
发表于 2025-3-25 22:21:27
https://doi.org/10.1007/978-1-4614-9469-0han a single witness. The reduction of .to .employs techniques from ordinal analysis which, when combined with a special double negation interpretation that respects extensionality, also show that .can be reduced to .with the negative power set axiom. As .augmented by the latter axiom can be interpr
合唱团
发表于 2025-3-26 03:06:29
http://reply.papertrans.cn/32/3134/313350/313350_26.png
chastise
发表于 2025-3-26 08:11:39
http://reply.papertrans.cn/32/3134/313350/313350_27.png
Ebct207
发表于 2025-3-26 08:48:08
http://reply.papertrans.cn/32/3134/313350/313350_28.png
纬度
发表于 2025-3-26 13:48:49
2214-9775 etween proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?978-94-017-8238-8978-94-007-4435-6Series ISSN 2214-9775 Series E-ISSN 2214-9783
BROTH
发表于 2025-3-26 20:13:11
978-94-017-8238-8Springer Science+Business Media Dordrecht. 2012