Simplified existence for solutions to stochastic differential equations

Nonstandard methods are used to give a simple construction of a solution to SDEs of the form , where are required only to be measurable, with, bounded. By working with an internal Brownian motion the proof avoids the complicated lifting and approximation arguments needed in previous existence proofs.