Contributions to Non-Standard Analysis