192 search results - page 1 / 39 » Ordered groups: a case study in reverse mathematics |
56
Voted
BSL
1999
14 years 9 months ago
1999
NDJFL
1998
14 years 9 months ago
1998
AB
2007
Springer
15 years 1 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
14 years 9 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
14 years 9 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...