Results 1 - 10 of 1,384

OPEN QUESTIONS IN REVERSE MATHEMATICS

by Antonio Montalbán , 2010
"... The objective of this paper is to provide a source of open questions in reverse mathematics and to point to areas where there could be interesting developments. The questions I discuss are mostly known and come from somewhere in the literature. My objective was to compile them in one place and discu ..."
Abstract - Cited by 8 (0 self) - Add to MetaCart
The objective of this paper is to provide a source of open questions in reverse mathematics and to point to areas where there could be interesting developments. The questions I discuss are mostly known and come from somewhere in the literature. My objective was to compile them in one place

Nonstandard Arithmetic and Reverse Mathematics

by H. Jerome Keisler - Bulletin of Symbolic
"... Abstract. We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [HKK1984] we introduced saturation principles in nonstandard arithmetic which ar ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
Abstract. We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [HKK1984] we introduced saturation principles in nonstandard arithmetic which

Reverse mathematics of MF spaces

by Carl Mummert , 2006
"... This paper gives a formalization of general topology in second order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF(P) denote the set of maximal filters on P endowed with the topology generated b ..."
Abstract - Cited by 11 (7 self) - Add to MetaCart
This paper gives a formalization of general topology in second order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF(P) denote the set of maximal filters on P endowed with the topology generated

1 STRICT REVERSE MATHEMATICS Draft

by Harvey M. Friedman , 2005
"... NOTE: This is an expanded version of my lecture at the special session on reverse mathematics, delivered at the Special Session on Reverse Mathematics held at the Atlanta AMS meeting, on January 6, 2005. TABLE OF CONTENTS ..."
Abstract - Add to MetaCart
NOTE: This is an expanded version of my lecture at the special session on reverse mathematics, delivered at the Special Session on Reverse Mathematics held at the Atlanta AMS meeting, on January 6, 2005. TABLE OF CONTENTS

Computability, Reverse Mathematics and Combinatorics

by Peter Cholak, et al. , 2008
"... Mathematicians all know what it means to prove a theorem from some set of axioms. In Reverse Mathematics we reverse the process and study what axioms are actually required to prove a theo-rem. If we can omit some of the axioms and assume instead the “theorem” and use this to prove the omitted axioms ..."
Abstract - Add to MetaCart
Mathematicians all know what it means to prove a theorem from some set of axioms. In Reverse Mathematics we reverse the process and study what axioms are actually required to prove a theo-rem. If we can omit some of the axioms and assume instead the “theorem” and use this to prove the omitted

Determinacy of Infinite and Reverse Mathematics

by Takako Nemoto , 2009
"... This thesis consists of two parts. The first part treats determinacy in (classical) reverse mathematics and the second part treats determinacy in intuitionistic mathematics. The first part investigates the logical strength of the determinacy of infinite games in the Cantor space in terms of second o ..."
Abstract - Add to MetaCart
This thesis consists of two parts. The first part treats determinacy in (classical) reverse mathematics and the second part treats determinacy in intuitionistic mathematics. The first part investigates the logical strength of the determinacy of infinite games in the Cantor space in terms of second

INTERVAL ORDERS AND REVERSE MATHEMATICS

by Alberto Marcone , 2006
"... Abstract. We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order i ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract. We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order

Reverse mathematics and Peano categoricity

by Stephen G. Simpson, Keita Yokoyama
"... We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i ∈ A and f: A → A. A subset X ⊆ A is said to be inductive if i ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i ∈ A and f: A → A. A subset X ⊆ A is said to be inductive

Reverse mathematics and fully ordered groups

by Reed Solomon , 2003
"... The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of ordinary mathematics. In this case, we consider ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of ordinary mathematics. In this case, we consider

Reverse Mathematics and Recursive Graph Theory

by William Gasarch, Jeffry L. Hirst - Math. Log. Quart , 1998
"... Abstract. We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths. Reverse mathemati ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
Abstract. We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths. Reverse
Results 1 - 10 of 1,384