Add to ORKGAbstract. We discuss the use of nonstandard methods in the study of Ramsey type problems, and illustrate this with an example concerning the existence of definable solutions in models of BΣ02 for the combinatorial principles of Ramsey’s Theorem for pairs and cohesiveness. 1
AbstractIn this paper, a survey is given of some of the recent research which is related to a partic...
Abstract: "We prove some results on the border of Ramsey theory (finite partition calculus) and mode...
Abstract. We show that the principle PART from Hirschfeldt and Shore [7] is equivalent to the Σ02-Bo...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
he main objective of this research is to study the relative strength of combinatorial principles, in...
The goal of this present manuscript is to introduce the reader to the nonstandard method and to prov...
Abstract. We study the reverse mathematics and computability-the-oretic strength of (stable) Ramsey’...
Abstract. We study the reverse mathematics and computability-the-oretic strength of (stable) Ramsey’...
We study the reverse mathematics and computability-theoretic strength of (stable) Ramsey’s Theorem f...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
By presenting the proofs of a few sample results, we introduce the reader to the use of nonstandard ...
AbstractIn this paper, a survey is given of some of the recent research which is related to a partic...
Abstract: "We prove some results on the border of Ramsey theory (finite partition calculus) and mode...
Abstract. We show that the principle PART from Hirschfeldt and Shore [7] is equivalent to the Σ02-Bo...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
The goal of this monograph is to give an accessible introduction to nonstandard methods and their ap...
he main objective of this research is to study the relative strength of combinatorial principles, in...
The goal of this present manuscript is to introduce the reader to the nonstandard method and to prov...
Abstract. We study the reverse mathematics and computability-the-oretic strength of (stable) Ramsey’...
Abstract. We study the reverse mathematics and computability-the-oretic strength of (stable) Ramsey’...
We study the reverse mathematics and computability-theoretic strength of (stable) Ramsey’s Theorem f...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
In this thesis we give a proof-theoretic account of the strength of Ramsey's theorem for pairs and r...
By presenting the proofs of a few sample results, we introduce the reader to the use of nonstandard ...
AbstractIn this paper, a survey is given of some of the recent research which is related to a partic...
Abstract: "We prove some results on the border of Ramsey theory (finite partition calculus) and mode...
Abstract. We show that the principle PART from Hirschfeldt and Shore [7] is equivalent to the Σ02-Bo...