A weakening of the axiom of choice for the standard binary tree.

MaRDI QIDQ3570653zbMATH OpenFDO

Authors J. M. Bogoya, Carlos H. Montenegro

Publication date 25 June 2010

Full work available at URL https://eudml.org/doc/225794, http://www.emis.de/journals/RCM/revistas.art809.html

zbMATH Keywords

logicmodelsaxiom of choice

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Axiom of choice and related propositions (03E25)

Recommendations

• scientific article; zbMATH DE number 1302490
• Binary consistent choice on pairs and a generalization of Konig's infinity lemma
• Axioms of multiple choice
• scientific article; zbMATH DE number 3861140
• The relation between two diminished choice principles

Cited in

(3)

• Weak sequential theories of finite full binary trees
• Binary consistent choice on pairs and a generalization of Konig's infinity lemma
• scientific article; zbMATH DE number 1450238 (Why is no real title available?)

This page was built for publication: A weakening of the axiom of choice for the standard binary tree.

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