In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with analysis in the context of (semi)intuitionistic realizability, focusing on Lightstone-Robinson construction model through an ultrapower. particular, consider extension $\lambda$-calculus memory cell, that contains integer (the state), order indicate which slice ultrapower $\cal{M}^{...