Introduction to Stopping Time in Stochastic Finance Theory

References

[1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.
Search in Google Scholar Back to article
[2] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.
Search in Google Scholar Back to article
[3] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.
Search in Google Scholar Back to article
[4] Hans Föllmer and Alexander Schied. Stochastic Finance: An Introduction in Discrete Time, volume 27 of Studies in Mathematics. de Gruyter, Berlin, 2nd edition, 2004.10.1515/9783110212075
Search in Google Scholar Back to article
[5] Peter Jaeger. Modelling real world using stochastic processes and filtration. Formalized Mathematics, 24(1):1–16, 2016. doi: 10.1515/forma-2016-0001.10.1515/forma-2016-0001
Open DOI Search in Google Scholar Back to article
[6] Achim Klenke. Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin, Heidelberg, 2006.
Search in Google Scholar Back to article
[7] Jürgen Kremer. Einführung in die diskrete Finanzmathematik. Springer-Verlag, Berlin, Heidelberg, New York, 2006.
Search in Google Scholar Back to article
[8] Andrzej Nędzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401–407, 1990.
Search in Google Scholar Back to article
[9] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2): 329–334, 1990.
Search in Google Scholar Back to article