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

zbMATH Open1189.03042MaRDI QIDQ3570653FDOQ3570653

Authors: J. M. Bogoya, Carlos H. Montenegro 

Publication date: 25 June 2010

Full work available at URL: https://eudml.org/doc/225794

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

zbMATH Keywords

logicmodelsaxiom of choice

Mathematics Subject Classification ID

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

Cited In (3)

• Weak sequential theories of finite full binary trees
• Binary consistent choice on pairs and a generalization of Konig's infinity lemma
• Title not available (Why is that?)

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)