calcification 发表于 2025-3-21 19:05:47

书目名称Reverse Mathematics影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0829395<br><br>        <br><br>书目名称Reverse Mathematics读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0829395<br><br>        <br><br>

Constant 发表于 2025-3-21 21:27:56

http://reply.papertrans.cn/83/8294/829395/829395_2.png

反馈 发表于 2025-3-22 00:31:18

http://reply.papertrans.cn/83/8294/829395/829395_3.png

packet 发表于 2025-3-22 04:45:15

Second order arithmetic if we temporarily assume as an axiom that a problem P is solvable, how difficult is it to . that a second problem Q is solvable? If we can prove that Q is solvable under the assumption that P is solvable, this gives us information that Q is “weaker” than P, at least modulo the other axioms used in

Indecisive 发表于 2025-3-22 10:02:53

http://reply.papertrans.cn/83/8294/829395/829395_5.png

Fulminate 发表于 2025-3-22 15:09:40

http://reply.papertrans.cn/83/8294/829395/829395_6.png

FOIL 发表于 2025-3-22 17:58:41

Set theory and beyond”.We cannot easily talk about . (equivalence classes of well orderings) as such in Z., but many properties of the ordinals can be formulated in terms of specific well orderings instead. We have already seen that ATR. can express many such properties quite naturally. In this chapter, we investigate a

情感脆弱 发表于 2025-3-22 22:26:51

http://reply.papertrans.cn/83/8294/829395/829395_8.png

系列 发表于 2025-3-23 04:27:49

http://reply.papertrans.cn/83/8294/829395/829395_9.png

Project 发表于 2025-3-23 05:35:18

Problem reducibilitiesr does not, then we may view the latter as “harder” from a certain computational standpoint. But it is not obvious how to find such a class for a particular pair of problems, or whether such a class even exists. It is also unclear what relationship this kind of classification really expresses.
页: [1] 2 3 4 5
查看完整版本: Titlebook: Reverse Mathematics; Problems, Reductions Damir D. Dzhafarov,Carl Mummert Textbook 2022 The Editor(s) (if applicable) and The Author(s), un