Search results

domination 2010-06-11 Paper Ramsey's theorem for trees: the polarized tree theorem and notions of stability 2010-04-15 Paper Ramsey's theorem and cone avoidance...

Errata to ``Ramsey's theorem for a class of categories 1973-01-01 Paper Ramsey's theorem for a class of categories 1972-01-01 Paper Ramsey's Theorem for a Class...

Banach contractions principle 2012-12-17 Paper Term extraction and Ramsey's theorem for pairs 2012-09-19 Paper NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION...

of Kaplansky's game 1972-01-01 Paper Ramsey's theorem for a class of categories 1972-01-01 Paper Ramsey's Theorem for a Class of Categories 1972-01-01...

metamathematics of Stable Ramsey’s Theorem for Pairs 2014-09-19 Paper \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs 2012-07-20...

metamathematics of Stable Ramsey’s Theorem for Pairs 2014-09-19 Paper \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs 2012-07-20...

of combinatorial principles weaker than Ramsey's theorem for pairs 2012-07-20 Paper The Slaman-Wehner theorem in higher recursion theory 2011-05-27 Paper...

In search of the first-order part of Ramsey's theorem for pairs 2022-03-22 Paper Weaker cousins of Ramsey's theorem over a weak base theory 2021-09-30 Paper...

orders 2017-08-29 Paper Effectiveness of Hindman’s Theorem for Bounded Sums 2017-04-04 Paper Ramsey’s theorem for singletons and strong computable reducibility...

Publication Type HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? 2023-06-05 Paper Weaker cousins of Ramsey's theorem over a weak base theory 2021-09-30...

Completely separable families and Ramsey's theorem 1975-01-01 Paper Ramsey's theorem with sums or unions 1975-01-01 Paper...

THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS 2019-01-04 Paper The proof-theoretic strength of Ramsey's theorem for pairs and two...

proofs without excluded middle 2011-06-03 Paper Ramsey's theorem for trees: the polarized tree theorem and notions of stability 2010-04-15 Paper Partitions...

enumerable sets 2010-11-19 Paper Corrigendum to: “On the strength of Ramsey's Theorem for pairs” 2010-01-07 Paper The Complexity of Orbits of Computably...

electrodynamics 2015-05-15 Paper A packed Ramsey’s theorem and computability theory 2015-04-22 Paper Reverse mathematics and a Ramsey-type König's Lemma 2013-01-07...

version of Ramsey’s theorem 2012-03-01 Paper https://portal.mardi4nfdi.de/entity/Q3011258 2011-06-28 Paper Ideal version of Egorov's theorem for analytic...

associated with Ramsey's theorem 1968-01-01 Paper Limit Theorems for Semi-Markov Processes 1966-01-01 Paper An upper bound for Ramsey numbers 1966-01-01...

and positive equivalence relations 2021-10-04 Paper The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma 2021-08-02 Paper Deciding...

randoms 2017-11-16 Paper Effectiveness of Hindman’s Theorem for Bounded Sums 2017-04-04 Paper Ramsey’s theorem for singletons and strong computable reducibility...

termination theorem 2016-10-10 Paper An intuitionistic version of Ramsey's theorem and its use in program termination 2015-09-29 Paper Ramsey Theorem as an Intuitionistic...