192 search results - page 1 / 39 » Ordered groups: a case study in reverse mathematics |
69
Voted
BSL
1999
15 years 21 hour ago
1999
NDJFL
1998
15 years 6 hour ago
1998
103
Voted
AB
2007
Springer
15 years 4 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 ...
103
Voted
BSL
2006
15 years 12 days 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...
118
Voted
CIE
2010
Springer
15 years 16 days 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...