{"id":"https://openalex.org/W2794694944","doi":"https://doi.org/10.1515/forma-2017-0025","title":"Introduction to Stopping Time in Stochastic Finance Theory. Part II","display_name":"Introduction to Stopping Time in Stochastic Finance Theory. Part II","publication_year":2017,"publication_date":"2017-12-20","ids":{"openalex":"https://openalex.org/W2794694944","doi":"https://doi.org/10.1515/forma-2017-0025","mag":"2794694944"},"language":"en","primary_location":{"id":"doi:10.1515/forma-2017-0025","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0025","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/4/article-p261.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/25/4/article-p261.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.29751536,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"4","first_page":"261","last_page":"268"},"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.9966999888420105,"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.9966999888420105,"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.9879999756813049,"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"}},{"id":"https://openalex.org/T11413","display_name":"Risk and Portfolio Optimization","score":0.9513999819755554,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7010605335235596},{"id":"https://openalex.org/keywords/stopping-time","display_name":"Stopping time","score":0.6688779592514038},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5567317008972168},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.5339915156364441},{"id":"https://openalex.org/keywords/optimal-stopping","display_name":"Optimal stopping","score":0.4786054790019989},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45985159277915955},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.4510731101036072},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.42543599009513855},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3815852105617523},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3586958944797516},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17321717739105225},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06521904468536377}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7010605335235596},{"id":"https://openalex.org/C99888217","wikidata":"https://www.wikidata.org/wiki/Q1288707","display_name":"Stopping time","level":2,"score":0.6688779592514038},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5567317008972168},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.5339915156364441},{"id":"https://openalex.org/C99414536","wikidata":"https://www.wikidata.org/wiki/Q7098950","display_name":"Optimal stopping","level":2,"score":0.4786054790019989},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45985159277915955},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.4510731101036072},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42543599009513855},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3815852105617523},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3586958944797516},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17321717739105225},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06521904468536377},{"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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/forma-2017-0025","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0025","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/4/article-p261.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:e9929cfdeb5f47e5a3130a7ad5b3cab3","is_oa":false,"landing_page_url":"https://doaj.org/article/e9929cfdeb5f47e5a3130a7ad5b3cab3","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 25, Iss 4, Pp 261-268 (2017)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/6551","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/6551","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.1515/forma-2017-0025","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0025","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/4/article-p261.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":[{"id":"https://metadata.un.org/sdg/8","score":0.550000011920929,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2794694944.pdf","grobid_xml":"https://content.openalex.org/works/W2794694944.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1557270667","https://openalex.org/W2184838578","https://openalex.org/W2262237570","https://openalex.org/W2759209886","https://openalex.org/W2777805251","https://openalex.org/W4229984434"],"related_works":["https://openalex.org/W4316830005","https://openalex.org/W3097642646","https://openalex.org/W2022139826","https://openalex.org/W3123468487","https://openalex.org/W2002489931","https://openalex.org/W2349258365","https://openalex.org/W1989184280","https://openalex.org/W1511853515","https://openalex.org/W2161463710","https://openalex.org/W1488326122"],"abstract_inverted_index":{"Summary":[0],"We":[1,21,89,101,167,276,357,383],"start":[2],"proceeding":[3],"with":[4,12,204,255,388,402],"the":[5,13,16,24,63,83,93,113,156,169,172,175,218,221,229,232,265,269,274,279,309,351,365,414,417,425,428,454,457],"stopping":[6,28,37,57,84,182,202,386,400],"time":[7,11,38,85,183,285],"theory":[8],"in":[9,48,86,130,137,155,187,239,273,282,322,345,374,435,466],"discrete":[10],"help":[14],"of":[15,125,171,174,220,228,231,338,416,424,427,456,464],"Mizar":[17],"system":[18],"[1],":[19],"[4].":[20],"prove,":[22,102,216],"that":[23,103,217,248,258,333,392,441],"expression":[25],"for":[26,104,271,385,393,453],"two":[27],"times":[29,203,387,401],"k1":[30],"and":[31,133,190,198,242,268,289,311,325,377,396],"k2":[32],"not":[33],"always":[34],"implies":[35],"a":[36,56,123,148,181,226,263,298,355,359,422],"(k":[39,66],"1":[40,67,197,206,223,395,404,419],"+":[41,68],"k":[42,69],"2":[43,70,200,213,234,398,411,430,443],")":[44,71],"(see":[45,74,127,184,236,319,342],"Theorem":[46,237,343,433],"6":[47,129],"this":[49,131,188,240,314,323,346,375,389,436],"paper).":[50,347],"If":[51,195],"you":[52,59,249],"want":[53,250],"to":[54,61,152,162,251,308,364],"get":[55],"time,":[58],"have":[60,278,413],"cut":[62],"function":[64],"e.g.":[65],"\u22c2":[72,116],"T":[73],"[2,":[75],"p.":[76,327,368,468],"283":[77],"Remark":[78],"6.14]).":[79],"Next":[80],"we":[81,214,296,312,349,412],"introduce":[82],"continuous":[87],"time.":[88],"are":[90,201,399],"focused":[91],"on":[92,301,361],"intervals":[94,286],"[0,":[95,107,287],"r]":[96,108],"where":[97,178],"r":[98],"\u2208":[99,120],"\u211d.":[100],"I":[105,110,117,126,143],"=":[106,111],"or":[109,209,407],"[0,+\u221e[":[112],"set":[114,159],"{A":[115],":":[118],"A":[119],"Borel-Sets}":[121],"is":[122,160,180,207,225,292,306,335,405,421,439,451],"\u03c3-algebra":[124,173,219,230,300,315,360,415,426],"Definition":[128,185,193,320,372],"paper,":[132,376],"more":[134],"general":[135],"given":[136,390],"[3,":[138,326],"p.12":[139],"1.8e]).":[140],"The":[141],"interval":[142,352],"can":[144,215,330],"be":[145,331],"considered":[146],"as":[147,262,354],"timeline":[149],"from":[150],"now":[151],"some":[153,256],"point":[154],"future.":[157],"This":[158,291,304],"necessary":[161],"define":[163],"our":[164,283],"next":[165],"lemma.":[166],"prove":[168,384],"existence":[170],"\u03c4":[176,179,196,199,205,212,222,233,394,397,403,410,418,429],"-past,":[177,431],"11":[186],"paper":[189,241,266,324],"[6,":[191,243,467],"p.187,":[192],"9.19]).":[194],"smaller":[208,406],"equal":[210,408],"than":[211,409],"-past":[224,235,420],"subset":[227,423],"9":[238],"p.187":[244],"Lemma":[245,253,449],"9.21]).":[246],"Suppose,":[247],"use":[252,350],"9.21":[254,450],"events,":[257],"never":[259],"occur,":[260],"see":[261,371,432,461],"comparison":[264],"[5]":[267],"example":[270],"ST(1)={+\u221e}":[272],"Summary.":[275],"don\u2019t":[277],"element":[280],"+1":[281],"above-mentioned":[284],"r[":[288],"[0,+1[.":[290],"only":[293],"possible":[294],"if":[295],"construct":[297,358],"new":[299],"\u211d":[302],"{\u2212\u221e,+\u221e}.":[303],"construction":[305],"similar":[307,363],"Borel-Sets":[310],"call":[313,378],"extended":[316,339,380,444],"Borel":[317,340,381,445],"sets":[318,341],"13":[321],"21]).":[328],"It":[329,438],"proved,":[332],"{+\u221e}":[334,442],"an":[336],"Element":[337],"21":[344],"Now":[348],"[0,+\u221e]":[353,362],"basis.":[356],"book":[366],"([3,":[367],"12":[369],"18e]),":[370],"18":[373],"it":[379],"subsets.":[382,446],"\u03c3-algebra,":[391],"25":[434],"paper.":[437],"obvious,":[440],"In":[447],"general,":[448],"important":[452],"proof":[455],"Optional":[458],"Sampling":[459],"Theorem,":[460],"10.11":[462],"Proof":[463],"(i)":[465],"203].":[469]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}