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

DOI10.4064/FM-121-1-17-23zbMATH Open0551.03031OpenAlexW2064114665WikidataQ124840184 ScholiaQ124840184MaRDI QIDQ3344196FDOQ3344196

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• 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
• A weakening of the axiom of choice for the standard binary tree.

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)