Search results
From MaRDI portal
- computability theory 2015-04-22 Paper Reverse mathematics and a Ramsey-type König's Lemma 2013-01-07 Paper...10 bytes (18 words) - 04:10, 12 December 2023
- continuity theorem with continuous moduli 2023-09-12 Paper König's lemma, weak König's lemma, and the decidable fan theorem 2023-09-12 Paper Refining the...10 bytes (16 words) - 11:26, 7 October 2023
- with Unbounded Utilities 1992-06-25 Paper A Borel measurable version of König's lemma for random paths 1991-01-01 Paper Measurable, nonleavable gambling problems...10 bytes (18 words) - 22:20, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q5711889 2005-12-08 Paper Separation and Weak König's Lemma 1999-10-11 Paper Separable Banach space theory needs strong set existence...10 bytes (18 words) - 14:42, 28 January 2024
- of second- order arithmetic 1993-05-16 Paper Measure theory and weak König's lemma 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3035280 1990-01-01...10 bytes (16 words) - 12:07, 7 October 2023
- intuitionistic logic 2004-02-04 Paper Some conservation results on weak König's lemma 2002-12-02 Paper https://portal.mardi4nfdi.de/entity/Q4516324 2000-11-27...10 bytes (16 words) - 09:15, 7 October 2023
- mardi4nfdi.de/entity/Q3581800 2010-09-02 Paper Ramsey's theorem and König's lemma 2007-02-14 Paper Non-well-foundedness of well-orderable power sets 2005-02-09...10 bytes (18 words) - 10:38, 6 October 2023
- with Unbounded Utilities 1992-06-25 Paper A Borel measurable version of König's lemma for random paths 1991-01-01 Paper Measurable, nonleavable gambling problems...10 bytes (18 words) - 15:12, 11 December 2023
- de/entity/Q4793027 2003-02-18 Paper Some conservation results on weak König's lemma 2002-12-02 Paper https://portal.mardi4nfdi.de/entity/Q4513968 2001-08-28...10 bytes (19 words) - 09:15, 7 October 2023
- Image Restoration 2003-06-17 Paper Some conservation results on weak König's lemma 2002-12-02 Paper https://portal.mardi4nfdi.de/entity/Q4548535 2002-08-26...10 bytes (16 words) - 03:04, 7 October 2023
- Paper The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma 2021-08-02 Paper Deciding parity games in quasipolynomial time 2017-08-17...10 bytes (17 words) - 10:49, 11 December 2023
- Publication Date of Publication Type Models of the Weak König Lemma 2023-03-09 Paper https://portal.mardi4nfdi.de/entity/Q5222082 2020-03-30 Paper The...10 bytes (19 words) - 17:11, 6 October 2023
- with Unbounded Utilities 1992-06-25 Paper A Borel measurable version of König's lemma for random paths 1991-01-01 Paper Using fuel to control a process to...10 bytes (19 words) - 03:01, 11 December 2023
- 2023-08-04 Paper Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice 2023-08-04 Paper On Farkas' lemma and related propositions in BISH 2022-01-18...10 bytes (16 words) - 14:11, 6 October 2023
- mardi4nfdi.de/entity/Q4398478 1998-07-19 Paper On the origins of Dénes König's infinity lemma 1998-02-10 Paper https://portal.mardi4nfdi.de/entity/Q4847763 1996-04-22...10 bytes (16 words) - 20:10, 6 October 2023
- on the cofinality of a partially ordered set, and a generalization of König's lemma 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3940400 1981-01-01...10 bytes (19 words) - 09:56, 12 December 2023
- Type Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma 2017-05-18 Paper...10 bytes (16 words) - 17:21, 6 October 2023
- Paper Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma 2017-05-18 Paper The Vitali Covering Theorem in the Weihrauch Lattice...10 bytes (17 words) - 12:41, 28 January 2024
- on the cofinality of a partially ordered set, and a generalization of König's lemma 1981-01-01 Paper On Chains and Antichains in well Founded Partially Ordered...10 bytes (19 words) - 13:41, 8 December 2023
- Publication Date of Publication Type König's Infinity Lemma and Beth's Tree Theorem 2017-02-22 Paper https://portal.mardi4nfdi.de/entity/Q3466609 2016-02-01...10 bytes (18 words) - 12:09, 12 December 2023