Abstract | ||
---|---|---|
Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.apal.2019.102745 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03F03,03F05,03E60,03E25 | Axiom of choice,Axiom of real determinacy,Set theory,Discrete mathematics,Combinatorics,Countable set,Cardinal number,Axiom of dependent choice,Axiom of determinacy,Determinacy,Mathematics | Journal |
Volume | Issue | ISSN |
171 | 2 | 0168-0072 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
J.P. Aguilera | 1 | 0 | 0.34 |