1 paper
Niels Charlier, Hans Vernaeve
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and…