Before revision:  The mathematical techniques adopted follow closely some of the results obtained in Neuefeind (1980) and Geanakoplos (2003).
After revision:  The mathematical techniques are based on some results obtained in Neuefeind (1980) and Geanakoplos (2003).