Choice Principles and Constructive Logics†

DOI10.1093/philmat/12.3.222zbMath1074.03004OpenAlexW1978529007MaRDI 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 choiceconstructive logics

Mathematics Subject Classification ID

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

Related Items (1)

ON ADOPTING KRIPKE SEMANTICS IN SET THEORY

This page was built for publication: Choice Principles and Constructive Logics†