Add to ORKG1. Reverse mathematics of the property of Ramsey........... 7 1.1 The property of Ramsey..................... 7 1.2 The property of Ramsey in second order arithmetic......
PhD thesis, 268 pagesIn this thesis, we investigate the computational content and the logical streng...
AbstractThis note describes two lemmas for Ramsey number R (p, q; 4), which help us to deduce lower ...
We give the Π^0_2-part, the Π^0_3-part and the Π^0_4-part of RT^2_2 and related combinatorialprincip...
Reverse Mathematics seeks to find the minimal set existence or comprehension axioms needed to prove ...
Reverse Mathematics seeks to find the minimal set existence or comprehension axioms needed to prove ...
Die Eigenschaft von Ramsey wird in der reversen Mathematik genutzt, um die Stärke von Teilsystemen d...
We investigate the notion of a semi-retraction between two first order structures (in typically diff...
12 pagesWe study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due t...
12 pagesWe study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due t...
We examine the Carlson-Simpson Lemma (VW(k,l)), which is the combinatorial core of the Dual Ramsey T...
Abstract. In this paper, we propose a weak regularity principle which is similar to both weak König...
Abstract. We show that each of the five basic theories of second order arithmetic that play a centra...
AbstractThis note evaluates the Ramsey numbers r(Pm,Kn), and discusses developments in 0 generalized...
Abstract: "We give an elementary proof of the fact that regressive Ramsey numbers are Ackermannian. ...
PhD thesis, 268 pagesIn this thesis, we investigate the computational content and the logical streng...
PhD thesis, 268 pagesIn this thesis, we investigate the computational content and the logical streng...
AbstractThis note describes two lemmas for Ramsey number R (p, q; 4), which help us to deduce lower ...
We give the Π^0_2-part, the Π^0_3-part and the Π^0_4-part of RT^2_2 and related combinatorialprincip...
Reverse Mathematics seeks to find the minimal set existence or comprehension axioms needed to prove ...
Reverse Mathematics seeks to find the minimal set existence or comprehension axioms needed to prove ...
Die Eigenschaft von Ramsey wird in der reversen Mathematik genutzt, um die Stärke von Teilsystemen d...
We investigate the notion of a semi-retraction between two first order structures (in typically diff...
12 pagesWe study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due t...
12 pagesWe study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due t...
We examine the Carlson-Simpson Lemma (VW(k,l)), which is the combinatorial core of the Dual Ramsey T...
Abstract. In this paper, we propose a weak regularity principle which is similar to both weak König...
Abstract. We show that each of the five basic theories of second order arithmetic that play a centra...
AbstractThis note evaluates the Ramsey numbers r(Pm,Kn), and discusses developments in 0 generalized...
Abstract: "We give an elementary proof of the fact that regressive Ramsey numbers are Ackermannian. ...
PhD thesis, 268 pagesIn this thesis, we investigate the computational content and the logical streng...
PhD thesis, 268 pagesIn this thesis, we investigate the computational content and the logical streng...
AbstractThis note describes two lemmas for Ramsey number R (p, q; 4), which help us to deduce lower ...
We give the Π^0_2-part, the Π^0_3-part and the Π^0_4-part of RT^2_2 and related combinatorialprincip...