Search results
From MaRDI portal
- sequences and reverse mathematics 1995-01-24 Paper Embeddings of countable closed sets and reverse mathematics 1994-04-21 Paper Reverse mathematics and ordinal...10 bytes (18 words) - 10:49, 11 December 2023
- hyperimmunity in reverse mathematics 2017-11-22 Paper The reverse mathematics of non-decreasing subsequences 2017-09-15 Paper Coloring trees in reverse mathematics...10 bytes (17 words) - 10:27, 7 October 2023
- higher-order reverse mathematics 2023-11-30 Paper Reverse Mathematics 2022-08-11 Paper Using Ramsey's theorem once 2019-09-19 Paper Reverse Mathematics 2018-12-06...10 bytes (17 words) - 06:10, 7 October 2023
- 2015-04-10 Paper Reverse-engineering reverse mathematics 2013-04-05 Paper The Dirac delta function in two settings of reverse mathematics 2012-02-10 Paper...10 bytes (17 words) - 11:04, 6 October 2023
- Publication Date of Publication Type John Stillwell*Reverse Mathematics: Proofs from the Inside Out 2020-09-30 Paper Set Existence Principles and Closure...10 bytes (16 words) - 18:15, 24 September 2023
- Criterion 2017-05-19 Paper Reverse mathematics, well-quasi-orders, and Noetherian spaces 2016-05-13 Paper Reverse mathematics and initial intervals 2013-12-16...10 bytes (17 words) - 12:32, 28 January 2024
- 2020-11-09 Paper THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH 2020-04-17 Paper The reverse mathematics of Hindman’s Theorem for sums of exactly two elements...10 bytes (18 words) - 16:18, 11 December 2023
- groups 2001-08-01 Paper Reverse mathematics and fully ordered groups 2001-07-17 Paper Ordered Groups: A Case Study in Reverse Mathematics 1999-09-12 Paper...10 bytes (17 words) - 21:19, 8 December 2023
- Publication Date of Publication Type Reverse mathematics and Ramsey properties of partial orderings 2016-03-04 Paper On the indecomposability of \(\omega^n\)...10 bytes (18 words) - 14:23, 28 January 2024
- arithmetic 2015-11-02 Paper ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS 2015-05-20 Paper Bounded variation and the strength of Helly's selection...10 bytes (18 words) - 14:39, 28 January 2024
- Schmerl decompositions in first order arithmetic 2019-10-07 Paper Reverse mathematics and Ramsey properties of partial orderings 2016-03-04 Paper Ramsey...10 bytes (18 words) - 20:36, 9 December 2023
- 2020-07-20 Paper THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH 2020-04-17 Paper The reverse mathematics of Hindman’s Theorem for sums of exactly two elements...10 bytes (18 words) - 00:18, 13 December 2023
- cupping property 2017-03-16 Paper The reverse mathematics of the Tietze extension theorem 2016-10-19 Paper Reverse mathematics, well-quasi-orders, and Noetherian...10 bytes (17 words) - 02:15, 25 September 2023
- Bounds for Singular Operators via Sharp Reverse Höolder Inequality for $$ A_\infty $$ 2013-03-28 Paper Sharp reverse Hölder property for \(A_\infty\) weights...10 bytes (17 words) - 13:24, 28 January 2024
- Wiman-Valiron theory in the disc II 2010-08-16 Paper A reverse Denjoy theorem. II 2010-06-21 Paper A reverse Denjoy theorem. III 2010-05-26 Paper ODEs and Wiman-Valiron...10 bytes (18 words) - 21:57, 11 December 2023
- Date of Publication Type Structure of semisimple rings in reverse and computable mathematics 2023-09-27 Paper Effective aspects of Jacobson radicals of...10 bytes (16 words) - 18:43, 24 September 2023
- of R in Constructive Reverse Mathematics 2009-05-05 Paper Sequences of real functions on [0,1 in constructive reverse mathematics] 2009-02-19 Paper Indecomposability...10 bytes (16 words) - 14:06, 6 October 2023
- and semimeasures 2017-08-17 Paper Weakly Represented Families in Reverse Mathematics 2017-04-04 Paper The Vitali Covering Theorem in the Weihrauch Lattice...10 bytes (16 words) - 12:36, 28 January 2024
- \(B_n\) 2018-05-04 Paper Reverse mathematics and marriage problems with finitely many solutions 2016-11-01 Paper Reverse mathematics and marriage problems...10 bytes (18 words) - 17:11, 6 October 2023
- Paper Reverse mathematics, well-quasi-orders, and Noetherian spaces 2016-05-13 Paper Epimorphisms between linear orders. 2015-11-09 Paper Reverse mathematics...10 bytes (17 words) - 07:27, 7 October 2023
