Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Itsâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Antonio MontalbÃ¡n
- Bulletin of Symbolic Logic
- 2011

The objective of this paper is to provide a source of open questions in reverse mathematics and to point to areas where thereâ€¦Â (More)

Is this relevant?

2006

2006

- H. Jerome Keisler
- Bulletin of Symbolic Logic
- 2006

We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has aâ€¦Â (More)

Is this relevant?

2005

2005

This is joint work with Carl Mummert. We initiate the reverse mathematics of general topology. We show that a certain metrizationâ€¦Â (More)

Is this relevant?

2000

2000

2000

- Peter A. Cholak
- 2000

Suppose that f : [N]k â†’ N. A set A âŠ† N is free for f if for all x1, . . . , xk âˆˆ A with x1 < x2 < Â· Â· Â· < xk , f (x1, . . . , xkâ€¦Â (More)

Is this relevant?

2000

2000

- Mariagnese Giusto, Stephen G. Simpson
- J. Symb. Log.
- 2000

LetX be a compact metric space. A closed setK âŠ† X is located if the distance function d(x,K) exists as a continuous realvaluedâ€¦Â (More)

Is this relevant?

1999

1999

We present some formal systems in the language of linearly ordered rings with finite sets whose nonlogical axioms are strictlyâ€¦Â (More)

Is this relevant?

1999

1999

- Jeffry L. Hirst
- Arch. Math. Log.
- 1999

One of the earliest applications of Cantorâ€™s Normal Form Theorem is Jacobstahlâ€™s proof of the existence of prime factorizationsâ€¦Â (More)

Is this relevant?

1998

1998

- William I. Gasarch, Jeffry L. Hirst
- Math. Log. Q.
- 1998

We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired byâ€¦Â (More)

Is this relevant?

1994

1994

- Jeffry L. Hirst
- Ann. Pure Appl. Logic
- 1994

Hirst, 1.L., Reverse mathematics and ordinal exponentiation, Annals of Pure and Applied Logic 66 (1994) 1-18. Simpson has claimedâ€¦Â (More)

Is this relevant?