Binary consistent choice on pairs and a generalization of Konig's infinity lemma

DOI10.4064/FM-121-1-17-23MaRDI QIDQ3344196zbMATH OpenOpenAlexWikidataFDO

Authors Paul Howard

Publication date 1984

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

treeschoice functionpermutation modelsBoolean prime ideal theoremFraenkel-Mostowski modelKönig's lemma on infinity

Mathematics Subject Classification ID

Classical propositional logic (03B05) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Recommendations

• scientific article; zbMATH DE number 1490096
• Ramsey's theorem and König's lemma
• A weakening of the axiom of choice for the standard binary tree.
• On Ramsey choice and partial choice for infinite families of \(n\)-element sets
• On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes

Cited in

(6)

• A weakening of the axiom of choice for the standard binary tree.
• scientific article; zbMATH DE number 1450238 (Why is no real title available?)
• Cut‐conditions on sets of multiple‐alternative inferences
• On Ramsey choice and partial choice for infinite families of \(n\)-element sets
• Kinna-Wagner selection principles, axioms of choice and multiple choice
• On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes

This page was built for publication: Binary consistent choice on pairs and a generalization of Konig's infinity lemma

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