192 search results - page 1 / 39 » Ordered groups: a case study in reverse mathematics |
BSL
1999
13 years 5 months ago
1999
NDJFL
1998
13 years 5 months ago
1998
AB
2007
Springer
13 years 9 months ago
2007
Springer
Given a permutation , the application of prefix reversal f(i) to reverses the order of the first i elements of . The problem of Sorting By Prefix Reversals (also known as pancake ...
BSL
2006
13 years 5 months ago
2006
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 ari...
CIE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...