Sciweavers

2 search results - page 1 / 1
» Arithmetic of Dedekind cuts of ordered Abelian groups
Sort
View
APAL
2008
93views more  APAL 2008»
13 years 5 months ago
Arithmetic of Dedekind cuts of ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...
Antongiulio Fornasiero, Marcello Mamino
NDJFL
2000
97views more  NDJFL 2000»
13 years 5 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright