The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting

DOI10.1007/978-3-319-93733-5_10zbMath1436.03071OpenAlexW2887925550MaRDI QIDQ3295841

Shahid Rahman

Publication date: 13 July 2020

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-93733-5_10

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• First-order dialogical games and tableaux
• Implicit epistemic aspects of constructive logic
• Immanent reasoning or equality in action. A plaidoyer for the play level
• Logic and the modalities in the twentieth century
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics
• Choice Implies Excluded Middle
• Linking Game-Theoretical Approaches with Constructive Type Theory
• Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos
• Intuitionistic logic as epistemic logic
• Basic objectives of dialogue logic in historical perspective

This page was built for publication: The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting