König's infinity lemma and Beth's tree theorem
DOI10.1080/01445340.2015.1065460zbMATH Open1417.03038OpenAlexW2525498979WikidataQ58339981 ScholiaQ58339981MaRDI QIDQ2963978FDOQ2963978
Authors: 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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
- Wurzelbäume und unendliche Wege in Graphen
- The foundations of mathematics. A study in the philosophy of science
- Zermelo and the early history of game theory
- Title not available (Why is that?)
- HILBERT'S PROGRAMME
- On the origins of Dénes König's infinity lemma
- Title not available (Why is that?)
- Proof of the law of infinite conjunction using the perfect disjunctive normal form
Cited In (9)
- Leighton's theorem : extensions, limitations and quasitrees
- On the uncountability of \(\mathbb{R}\)
- Title not available (Why is that?)
- Gilt das Lemma von König „konstruktiv“?
- On the origins of Dénes König's infinity lemma
- Countable sets versus sets that are countable in reverse mathematics
- Aristotelian logic axioms in propositional logic: the pouch method
- Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma
- Full-splitting Miller trees and infinitely often equal reals
Uses Software
This page was built for publication: König's infinity lemma and Beth's tree theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963978)
