Choice Principles and Constructive Logics†

DOI10.1093/philmat/12.3.222zbMath1074.03004MaRDI QIDQ4670607

David DeVidi

Publication date: 22 April 2005

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/12.3.222

zbMATH Keywords

axiom of choice; constructive logics

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03F50: Metamathematics of constructive systems

03E25: Axiom of choice and related propositions

Related Items

ON ADOPTING KRIPKE SEMANTICS IN SET THEORY