This thesis takes a closer look at three fundamental Classical Theorems in Real Analysis. First, for the Bolzano Weierstrass Theorem, we will be interested in constructing a convergent subsequence from a non-convergent bounded sequence. Such a subsequence is guaranteed to exist, but it is often not obvious what it is, e.g., if an = sin n. Next, the H¨older Inequality gives an upper bound, in terms of p ∈ [1,∞], for the the integral of the product of two functions. We will find the value of p that gives the best (smallest) upper-bound, focusing on the Beta and Gamma integrals. Finally, for the Weierstrass Polynomial Approximation, we will find the degree of the approximating polynomial for a variety of functions. We choose examples in which the approximating polynomial does far worse than the Taylor polynomial, but also work with continuous non-differentiable functions for which a Taylor expansion is impossible.

<p>The main result in this thesis is the generalisation of Bergman's diamond lemma for ring theory to power series rings. This generalisation makes it possible to treat problems in which there arise infinite descending chains. Several results in the literature are shown to be special cases of this diamond lemma and examples are given of interesting problems which could not previously be treated. One of these examples provides a general construction of a normed skew field in which a custom commutation relation holds.</p><p>There is also a general result on the structure of totally ordered semigroups, demonstrating that all semigroups with an archimedean element has a (up to a scaling factor) unique order-preserving homomorphism to the real numbers. This helps analyse the concept of filtered structure. It is shown that whereas filtered structures can be used to induce pretty much any zero-dimensional linear topology, a real-valued norm suffices for the definition of those topologies that have a reasonable relation to the multiplication operation.</p><p>The thesis also contains elementary results on degree (as of polynomials) functions, norms on algebras (in particular ultranorms), (Birkhoff) orthogonality in modules, and construction of semigroup partial orders from ditto quasiorders.</p>

The main result in this thesis is the generalisation of Bergman's diamond lemma for ring theory to power series rings. This generalisation makes it possible to treat problems in which there arise infinite descending chains. Several results in the literature are shown to be special cases of this diamond lemma and examples are given of interesting problems which could not previously be treated. One of these examples provides a general construction of a normed skew field in which a custom commutation relation holds. There is also a general result on the structure of totally ordered semigroups, demonstrating that all semigroups with an archimedean element has a (up to a scaling factor) unique order-preserving homomorphism to the real numbers. This helps analyse the concept of filtered structure. It is shown that whereas filtered structures can be used to induce pretty much any zero-dimensional linear topology, a real-valued norm suffices for the definition of those topologies that have a reasonable relation to the multiplication operation. The thesis also contains elementary results on degree (as of polynomials) functions, norms on algebras (in particular ultranorms), (Birkhoff) orthogonality in modules, and construction of semigroup partial orders from ditto quasiorders.