{"id":"https://openalex.org/W7128232950","doi":"https://doi.org/10.1017/s0960129525000167","title":"On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis","display_name":"On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7128232950","doi":"https://doi.org/10.1017/s0960129525000167"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129525000167","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525000167","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1017/s0960129525000167","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091323905","display_name":"Nicholas Pischke","orcid":"https://orcid.org/0000-0003-1243-6787"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nicholas Pischke","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1243-6787","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091323905"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.73553698,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.2696000039577484,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10545","display_name":"Optimization and Variational Analysis","score":0.2696000039577484,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.11129999905824661,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.10899999737739563,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/extensionality","display_name":"Extensionality","score":0.9857000112533569},{"id":"https://openalex.org/keywords/hausdorff-distance","display_name":"Hausdorff distance","score":0.7085999846458435},{"id":"https://openalex.org/keywords/coinduction","display_name":"Coinduction","score":0.6304000020027161},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6173999905586243},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.47049999237060547},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4300000071525574},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.42570000886917114},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.40059998631477356}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.9857000112533569},{"id":"https://openalex.org/C141898687","wikidata":"https://www.wikidata.org/wiki/Q1501997","display_name":"Hausdorff distance","level":2,"score":0.7085999846458435},{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.6304000020027161},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6173999905586243},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6151000261306763},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.47049999237060547},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4300000071525574},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.42570000886917114},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.40059998631477356},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38989999890327454},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C43929395","wikidata":"https://www.wikidata.org/wiki/Q1198874","display_name":"Operator theory","level":2,"score":0.35010001063346863},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3476000130176544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32899999618530273},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3240000009536743},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3075999915599823},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2987000048160553},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2694999873638153},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.26100000739097595},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129525000167","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525000167","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129525000167","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129525000167","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W92007714","https://openalex.org/W205960364","https://openalex.org/W647913949","https://openalex.org/W1525064220","https://openalex.org/W1585386565","https://openalex.org/W1608607427","https://openalex.org/W1893170605","https://openalex.org/W1973185693","https://openalex.org/W1996880485","https://openalex.org/W2004219814","https://openalex.org/W2037221615","https://openalex.org/W2040673954","https://openalex.org/W2051076175","https://openalex.org/W2070537827","https://openalex.org/W2081008701","https://openalex.org/W2087852592","https://openalex.org/W2094903916","https://openalex.org/W2129941846","https://openalex.org/W2170950118","https://openalex.org/W2182766684","https://openalex.org/W2569859296","https://openalex.org/W2782956634","https://openalex.org/W2782984258","https://openalex.org/W2962728982","https://openalex.org/W2962941654","https://openalex.org/W2963098769","https://openalex.org/W2963659676","https://openalex.org/W2963722077","https://openalex.org/W2963798168","https://openalex.org/W2966650606","https://openalex.org/W2969195915","https://openalex.org/W2971193166","https://openalex.org/W3115214213","https://openalex.org/W3128504764","https://openalex.org/W3133483506","https://openalex.org/W3153131873","https://openalex.org/W3207101634","https://openalex.org/W4206658284","https://openalex.org/W4231629838","https://openalex.org/W4234764465","https://openalex.org/W4364376659","https://openalex.org/W4379380243","https://openalex.org/W4381326686","https://openalex.org/W4388666056","https://openalex.org/W4390618393","https://openalex.org/W4392234476","https://openalex.org/W4401634649","https://openalex.org/W4404768747","https://openalex.org/W4408260365","https://openalex.org/W6908412507"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1],"discuss":[2,66,83],"the":[3,23,48,51,89,106,119,141,145,164,171,177,188,194,209,219,231],"logical":[4,107],"principle":[5],"of":[6,17,25,27,50,69,72,96,112,121,135,147,157,176,190,196,205,212,233],"extensionality":[7,46,75,97,136],"for":[8,19,183,193],"set-valued":[9,56,213],"operators":[10,21,57],"and":[11,82,98,137,222,226],"its":[12],"relation":[13],"to":[14,55,118,169,208],"mathematical":[15],"notions":[16],"continuity":[18,90,138],"these":[20,63,78,94,191],"in":[22,32,47,58,105,144,151,166,180],"context":[24,49],"systems":[26,108,181],"finite":[28],"types":[29],"as":[30],"used":[31],"proof":[33,184,206],"mining.":[34,185],"Concretely,":[35],"we":[36,65,87,128,150,201],"initially":[37],"exhibit":[38],"an":[39,130,203],"issue":[40],"that":[41,114,234],"arises":[42],"with":[43,93],"treating":[44],"full":[45,74],"prevalent":[52],"intensional":[53],"approach":[54],"such":[59],"systems.":[60],"Motivated":[61],"by":[62,163],"issues,":[64],"a":[67,110,133,154],"range":[68],"useful":[70],"fragments":[71,95],"this":[73],"statement":[76],"where":[77],"issues":[79],"are":[80,216],"avoided":[81],"their":[84],"interrelations.":[85],"Further,":[86],"study":[88],"principles":[91],"associated":[92],"show":[99],"how":[100],"they":[101],"can":[102],"be":[103],"introduced":[104],"via":[109],"collection":[111],"axioms":[113],"do":[115],"not":[116],"contribute":[117],"growth":[120],"extractable":[122],"bounds":[123],"from":[124,199],"proofs.":[125],"In":[126],"particular,":[127],"place":[129],"emphasis":[131],"on":[132,230],"variant":[134],"formulated":[139],"using":[140],"Hausdorff-metric":[142],"and,":[143],"course":[146],"our":[148],"discussion,":[149],"particular":[152],"employ":[153],"tame":[155,174],"treatment":[156,175],"suprema":[158],"over":[159],"bounded":[160],"sets":[161],"developed":[162],"author":[165],"previous":[167],"work":[168],"provide":[170,202],"first":[172],"proof-theoretically":[173],"Hausdorff":[178,220],"metric":[179,221],"geared":[182],"To":[186],"illustrate":[187],"applicability":[189],"treatments":[192],"extraction":[195],"quantitative":[197,228],"information":[198,229],"proofs,":[200],"application":[204],"mining":[207],"Mann":[210],"iteration":[211],"mappings":[214],"which":[215],"nonexpansive":[217],"w.r.t.":[218],"extract":[223],"highly":[224],"uniform":[225],"effective":[227],"convergence":[232],"method.":[235]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-02-08T00:00:00"}