Determinate logic and the axiom of choice

DOI10.1016/j.apal.2019.102745OpenAlexW2979509518WikidataQ114016289 ScholiaQ114016289MaRDI QIDQ2007876

Juan P. Aguilera

Publication date: 22 November 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2019.102745

zbMATH Keywords

cut eliminationsequent calculusproof theoryaxiom of choiceinfinitary proof systemdeterminate logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Axiom of choice and related propositions (03E25) Determinacy principles (03E60)

Cites Work

• Unnamed Item
• Proof theory. 2nd ed
• The determinacy of long games
• Long games and \(\sigma \)-projective sets
• A Proof of Projective Determinacy
• UNSOUND INFERENCES MAKE PROOFS SHORTER
• Uniformization in a playful universe

This page was built for publication: Determinate logic and the axiom of choice