König's Infinity Lemma and Beth's Tree Theorem

DOI10.1080/01445340.2015.1065460zbMath1417.03038OpenAlexW2525498979WikidataQ58339981 ScholiaQ58339981MaRDI QIDQ2963978

George E. Weaver

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2015.1065460

Mathematics Subject Classification ID

Trees (05C05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Other combinatorial set theory (03E05) History of combinatorics (05-03)

Related Items

Countable sets versus sets that are countable in reverse mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Aristotelian Logic Axioms in Propositional Logic: The Pouch Method

Uses Software

• Mathematica

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• On the origins of Dénes König's infinity lemma
• HILBERT'S PROGRAMME
• Proof of the law of infinite conjunction using the perfect disjunctive normal form
• Wurzelbäume und unendliche Wege in Graphen
• Zermelo and the early history of game theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item