{"id":"https://openalex.org/W2885629969","doi":"https://doi.org/10.2478/forma-2018-0001","title":"Introduction to Stochastic Finance: Random Variables and Arbitrage Theory","display_name":"Introduction to Stochastic Finance: Random Variables and Arbitrage Theory","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2885629969","doi":"https://doi.org/10.2478/forma-2018-0001","mag":"2885629969"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2018-0001","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2018-0001","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/26/1/article-p1.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://content.sciendo.com/downloadpdf/journals/forma/26/1/article-p1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004607775","display_name":"Peter De Jaeger","orcid":"https://orcid.org/0000-0003-3398-6833"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Peter Jaeger","raw_affiliation_strings":["Siegmund-Schacky-Str. 18a, 80993 Munich , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siegmund-Schacky-Str. 18a, 80993 Munich , Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5004607775"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12316913,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"1","first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10067","display_name":"Stochastic processes and financial applications","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/2003","display_name":"Finance"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10067","display_name":"Stochastic processes and financial applications","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/2003","display_name":"Finance"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.9427000284194946,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6169342398643494},{"id":"https://openalex.org/keywords/arbitrage","display_name":"Arbitrage","score":0.6036868095397949},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.5922456383705139},{"id":"https://openalex.org/keywords/straddle","display_name":"Straddle","score":0.580703854560852},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.5197288990020752},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.49764302372932434},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.4932329058647156},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.48429885506629944},{"id":"https://openalex.org/keywords/probability-theory","display_name":"Probability theory","score":0.4625377655029297},{"id":"https://openalex.org/keywords/mathematical-finance","display_name":"Mathematical finance","score":0.4342893362045288},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3733426332473755},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.32345879077911377},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.22780823707580566},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.18931347131729126},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.14928051829338074},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1375005543231964}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6169342398643494},{"id":"https://openalex.org/C160623529","wikidata":"https://www.wikidata.org/wiki/Q273088","display_name":"Arbitrage","level":2,"score":0.6036868095397949},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.5922456383705139},{"id":"https://openalex.org/C2779117054","wikidata":"https://www.wikidata.org/wiki/Q1406345","display_name":"Straddle","level":2,"score":0.580703854560852},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5197288990020752},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.49764302372932434},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.4932329058647156},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.48429885506629944},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.4625377655029297},{"id":"https://openalex.org/C93373587","wikidata":"https://www.wikidata.org/wiki/Q335632","display_name":"Mathematical finance","level":2,"score":0.4342893362045288},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3733426332473755},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32345879077911377},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.22780823707580566},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.18931347131729126},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.14928051829338074},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1375005543231964},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2478/forma-2018-0001","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2018-0001","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/26/1/article-p1.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:2ba4124c6a184619a5d3fa7dd26b8676","is_oa":false,"landing_page_url":"https://doaj.org/article/2ba4124c6a184619a5d3fa7dd26b8676","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 26, Iss 1, Pp 1-9 (2018)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/6829","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/6829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.2478/forma-2018-0001","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2018-0001","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/26/1/article-p1.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2885629969.pdf","grobid_xml":"https://content.openalex.org/works/W2885629969.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1557270667","https://openalex.org/W2119506873","https://openalex.org/W2136356332","https://openalex.org/W2184838578","https://openalex.org/W2295728669","https://openalex.org/W2509917783","https://openalex.org/W4229984434"],"related_works":["https://openalex.org/W2165299046","https://openalex.org/W2073421207","https://openalex.org/W2082979199","https://openalex.org/W1985948815","https://openalex.org/W2053048501","https://openalex.org/W2168252697","https://openalex.org/W1964459921","https://openalex.org/W2106459003","https://openalex.org/W4389993474","https://openalex.org/W1988703628"],"abstract_inverted_index":{"Summary":[0],"Using":[1],"the":[2,12,14,17,24,43,54,59,96,114,123,139,192,229,252,295,304],"Mizar":[3],"system":[4],"[1],":[5],"[5],":[6],"we":[7,39,57,68,94,137,169,196,207,278,293,377],"start":[8],"to":[9,251],"show,":[10,69],"that":[11,70,98,199],"Call-Option,":[13],"Put-Option":[15],"and":[16,35,41,181,303,359],"Straddle":[18],"(more":[19],"generally":[20],"defined":[21],"as":[22],"in":[23,50,76,82,118,134,146,156,200,268],"literature)":[25],"are":[26,107],"random":[27,45,329,364],"variables":[28,46,330],"([4],":[29],"p.":[30,48,84,132,144,270],"15),":[31],"see":[32,64,86,131,149,224],"(Def.":[33,36,51,65,150],"1)":[34],"2).":[37],"Next":[38,67],"construct":[40],"prove":[42],"simple":[44],"([2],":[47],"14)":[49],"8).":[52],"In":[53,88],"third":[55],"section,":[56],"introduce":[58,138],"definition":[60,72,124],"of":[61,103,112,116,125,205,216,231,241,328,366],"arbitrage":[62,261],"opportunity,":[63],"12).":[66],"this":[71,285],"can":[73,170,244],"be":[74,325],"characterized":[75],"a":[77,101,209,221,257,280,326,363],"different":[78],"way":[79],"(Lemma":[80],"1.3.":[81],"[4],":[83,269],"5),":[85],"(17).":[87],"our":[89,172],"formalization":[90],"for":[91,174,179,188,275,301,314,391],"Lemma":[92],"1.3":[93],"make":[95],"assumption":[97],"\u03d5":[99,117],"is":[100,191,220,260,362],"sequence":[102,327],"real":[104,157],"numbers":[105],"(there":[106],"only":[108],"finitely":[109],"many":[110,283,341],"valued":[111],"interest,":[113],"values":[115],"R":[119,350],"d":[120,292,299,308],").":[121],"For":[122,290,373],"almost":[126],"sure":[127],"with":[128,177,247,282,316,351],"probability":[129,141,214,253],"1":[130,219,334,369],"6":[133,145],"[2].":[135],"Last":[136],"risk-neutral":[140,222,233],"(Definition":[142],"1.4,":[143],"[4]),":[147],"here":[148],"16).":[151],"We":[152],"give":[153],"an":[154,248],"example":[155,227,286],"world:":[158],"Suppose":[159,277],"you":[160,236,243,339],"have":[161,208,279,294,340,378],"some":[162,232,317],"assets":[163],"like":[164],"bonds":[165,176],"(riskless":[166],"assets).":[167],"Then":[168,212],"fix":[171],"price":[173,296,305],"these":[175],"x":[178,182],"today":[180],"\u00b7":[183],"(1":[184,310],"+":[185,311],"r":[186,190,312,320,389],")":[187,300,309,313,355,383,390],"tomorrow,":[189],"interest":[193,318],"rate.":[194],"So":[195,338],"simply":[197],"assume,":[198],"every":[201,213,374],"possible":[202],"market":[203,258],"evolution":[204],"tomorrow":[206,315],"determinated":[210],"value.":[211],"measure":[215],"\u03a9":[217,332,367],"fut":[218,333,368],"measure,":[223],"(21).":[225],"This":[226],"shows":[228],"existence":[230],"measure.":[234],"If":[235],"find":[237],"more":[238],"than":[239],"one":[240],"them,":[242],"determine":[245],"\u2013":[246,255],"additional":[249],"conidition":[250],"measures":[254],"whether":[256],"model":[259],"free":[262],"or":[263],"not":[264],"(see":[265],"Theorem":[266],"1.6.":[267],"6.)":[271],"A":[272],"short":[273],"graph":[274],"(21):":[276],"portfolio":[281],"(in":[284],"infinitely":[287],"many)":[288],"assets.":[289],"asset":[291],"\u03c0":[297,306,385],"(":[298,307,353,381,386],"today,":[302],"rate":[319],"&gt;":[321],"0.":[322],"Let":[323],"G":[324,352],"on":[331],",":[335,370],"Borel":[336,371],"sets.":[337,372],"functions":[342],"f":[343,357,360,375,379],"k":[344,354,358,361,376,380,387],":":[345],"{1,":[346,393],"2,":[347,394],"3,":[348,395],"4}\u2192":[349],"=":[356,384],"variable":[365],"w":[382,392],")\u00b7(1+":[388],"4}.":[396],"<m:math":[397],"xmlns:m=\"http://www.w3.org/1998/Math/MathML\">":[398],"<m:mrow>":[399,403,408,415,426,427,429,433,436,441,443,455,458,463,465,483],"<m:mtable>":[400,430],"<m:mtr>":[401,413,431,453,481],"<m:mtd>":[402,407,414,425,432,454,482],"<m:mi>Today</m:mi>":[404],"</m:mrow>":[405,410,423,438,447,449,450,460,469,471,472,476,477,478],"</m:mtd>":[406,411,424,451,473,479],"<m:mi>Tomorrow</m:mi>":[409],"</m:mtr>":[412,452,474,480],"<m:mtext>only</m:mtext>":[416],"<m:mi>":[417,420],"</m:mi>":[418,421],"<m:mtext>one</m:mtext>":[419],"<m:mtext>scenario</m:mtext>":[422],"<m:mo>{</m:mo>":[428,442,464],"<m:msub>":[434,456],"<m:mi>w</m:mi>":[435,457],"<m:mn>21</m:mn>":[437],"</m:msub>":[439,461],"<m:mo>=</m:mo>":[440,462],"<m:mn>1</m:mn>":[444],"<m:mo>,</m:mo>":[445,467],"<m:mn>2</m:mn>":[446],"<m:mo>}</m:mo>":[448,470],"<m:mn>22</m:mn>":[459],"<m:mn>3</m:mn>":[466],"<m:mn>4</m:mn>":[468],"</m:mtable>":[475],"<m:mtext>for</m:mtext>":[484]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2018-08-22T00:00:00"}