Applications of nonstandard analysis to spin models

AbstractMethods of nonstandard analysis are used to construct a Markov semigroup representing the stochastic evolution of an infinite spin system with finite range interaction by means of a hyperfinite spin system. The hyperfinite spin system is then used to derive classical results about phase transitions of the stochastic Ising model without the use of thermodynamic limits