PL EN


Preferences help
enabled [disable] Abstract
Number of results
2012 | 47 |
Article title

The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice

Content
Title variants
Languages of publication
PL
Abstracts
PL
The standard omniscience principles are interpreted in a systematic way within the context of binary trees. With this dictionary at hand we revisit the weak Konig lemma (WKL) and Brouwer’s fan theorem (FAN). We first study how one can arrive from FAN at WKL, and then give a direct decomposition, without coding, of WKL into the lesser limited principle of omniscience and an instance of the principle of dependent choices. As a complement we provide, among other equivalents of the standard omniscience principles, a uniform method to formulate most of them.
Keywords
PL
 
Publisher
Year
Volume
47
Physical description
Dates
published
2012
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2012-volume-47-article-2896
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.