192 search results - page 1 / 39 » Ordered groups: a case study in reverse mathematics |
61
Voted
BSL
1999
14 years 10 months ago
1999
57
Voted
NDJFL
1998
14 years 10 months ago
1998
93
Voted
AB
2007
Springer
15 years 2 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 ...
96
Voted
BSL
2006
14 years 11 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...
102
Voted
CIE
2010
Springer
14 years 11 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...