scientific article; zbMATH DE number 130887

zbMATH Open0769.03033MaRDI QIDQ4029339FDOQ4029339

Authors: Alain Prouté 

Publication date: 29 March 1993

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1992__33_3_279_0

Title of this publication is not available (Why is that?)

Recommendations

• Choice Principles and Constructive Logics†
• scientific article; zbMATH DE number 5064954
• The axiom of multiple choice and models for constructive set theory
• 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
• scientific article; zbMATH DE number 1795226

zbMATH Keywords

Axiom of Choicesubtypesquotient typesindeterminate expressions

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cites Work

• Axiom of Choice and Complementation
• Title not available (Why is that?)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4029339)