Annals of Pure and Applied Logic 171 (2):102745 (2020)

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. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2019.102745
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,668
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Rigit Unary Functions and the Axiom of Choice.Wolfgang Degen - 2001 - Mathematical Logic Quarterly 47 (2):197-204.
Russell's Alternative to the Axiom of Choice.Norbert Brunner & Paul Howard - 1992 - Mathematical Logic Quarterly 38 (1):529-534.
The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.


Added to PP index

Total views
15 ( #616,450 of 2,331,483 )

Recent downloads (6 months)
6 ( #121,864 of 2,331,483 )

How can I increase my downloads?


My notes