Search results
From MaRDI portal
- in constructive reverse mathematics 2017-02-17 Paper Semantic completeness of first-order theories in constructive reverse mathematics 2016-05-25 Paper...10 bytes (16 words) - 11:01, 7 October 2023
- From a cotangent sum to a generalized totient function 2022-02-24 Paper A reverse Mulholland-type inequality in the whole plane with multi-parameters 2022-02-10...10 bytes (19 words) - 20:19, 9 December 2023
- \(\mathsf{WKL}_0\) and induction principles in model theory 2015-05-15 Paper REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS 2014-12-05 Paper...10 bytes (18 words) - 19:19, 13 December 2023
- Trees 2023-08-25 Paper Mixed Nash equilibria for continuous games and reverse mathematics 2023-06-26 Paper The eigen-distribution for multi-branching weighted...10 bytes (16 words) - 19:03, 24 September 2023
- Generic Sets 2012-08-14 Paper On \(n\)-tardy sets 2012-07-11 Paper Reverse mathematics and infinite traceable graphs 2012-02-29 Paper On the orbits of computably...10 bytes (18 words) - 23:13, 11 December 2023
- definability 2015-03-10 Paper NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS 2014-10-21 Paper The metamathematics of Stable Ramsey’s Theorem for...10 bytes (18 words) - 22:01, 8 December 2023
- points and supports of measures in reverse mathematics 1997-02-09 Paper Lebesgue Convergence Theorems and Reverse Mathematics 1994-09-08 Paper Periodic points...10 bytes (16 words) - 12:07, 7 October 2023
- packed Ramsey’s theorem and 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
- SEPARATIONS OF LOGICAL PRINCIPLES 2023-10-13 Paper Systems for Constructive Reverse Mathematics 2023-08-11 Paper Varieties of the Weak Kőnig Lemma and the Disjunctive...10 bytes (16 words) - 03:30, 25 September 2023
- of Publication Type Mixed Nash equilibria for continuous games and reverse mathematics 2023-06-26 Paper Relation Between Scattering Amplitude and Bethe-Salpeter...10 bytes (16 words) - 09:15, 7 October 2023
- 2013-04-09 Paper Reverse mathematics and Peano categoricity 2013-02-19 Paper The Dirac delta function in two settings of reverse mathematics 2012-02-10 Paper...10 bytes (17 words) - 12:36, 28 January 2024
- Publication Date of Publication Type Mathematics of Surfaces XI 2006-10-25 Paper https://portal.mardi4nfdi.de/entity/Q4471891 2004-07-30 Paper https://portal...10 bytes (17 words) - 18:22, 12 December 2023
- induction 2014-10-24 Paper NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS 2014-10-21 Paper Friedberg Numbering in Fragments of Peano Arithmetic...10 bytes (17 words) - 10:49, 11 December 2023
- Open sets in computability theory and reverse mathematics 2020-12-15 Paper Pincherle's theorem in reverse mathematics and computability theory 2020-03-12...10 bytes (17 words) - 22:33, 12 December 2023
- 2023-03-01 Paper Agent-Based Modeling, Mathematical Formalism for 2021-02-15 Paper A computational algebra approach to the reverse engineering of gene regulatory...10 bytes (19 words) - 13:45, 7 December 2023
- degrees 2015-05-15 Paper NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS 2014-10-21 Paper The metamathematics of Stable Ramsey’s Theorem for...10 bytes (16 words) - 22:01, 8 December 2023
- Publication Date of Publication Type Reverse mathematics and colorings of hypergraphs 2019-07-04 Paper...10 bytes (16 words) - 09:21, 25 September 2023
- Combinatorial principles equivalent to weak induction 2020-11-09 Paper Reverse mathematics and colorings of hypergraphs 2019-07-04 Paper...10 bytes (16 words) - 09:21, 25 September 2023
- Publication Date of Publication Type Reverse mathematics and Weihrauch analysis motivated by finite complexity theory 2022-02-28 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Publication Date of Publication Type Reverse mathematics and Weihrauch analysis motivated by finite complexity theory 2022-02-28 Paper...10 bytes (16 words) - 12:32, 14 March 2024
