{"id":"https://openalex.org/W4383604589","doi":"https://doi.org/10.48550/arxiv.2307.02688","title":"Epistemic systems and Flagg and Friedman's translation","display_name":"Epistemic systems and Flagg and Friedman's translation","publication_year":2023,"publication_date":"2023-07-05","ids":{"openalex":"https://openalex.org/W4383604589","doi":"https://doi.org/10.48550/arxiv.2307.02688"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2307.02688","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.02688","pdf_url":"https://arxiv.org/pdf/2307.02688","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2307.02688","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000257861","display_name":"Takao Inou\u00e9","orcid":"https://orcid.org/0000-0002-2080-7480","observed_orcids":["https://orcid.org/0000-0002-2080-7480"]},"institutions":[{"id":"https://openalex.org/I4210086383","display_name":"National Institute of Biomedical Innovation, Health and Nutrition","ror":"https://ror.org/001rkbe13","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210086383"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Inou\u00e9, Takao","raw_affiliation_strings":["AI Nutrition Project ,","Artificial Intelligence Center for Health and Biomedical Research , National Institutes of Biomedical Innovation, Health and Nutrition (NIBIOHN) , Osaka , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AI Nutrition Project ,","institution_ids":[]},{"raw_affiliation_string":"Artificial Intelligence Center for Health and Biomedical Research , National Institutes of Biomedical Innovation, Health and Nutrition (NIBIOHN) , Osaka , Japan","institution_ids":["https://openalex.org/I4210086383"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5000257861"],"corresponding_institution_ids":["https://openalex.org/I4210086383"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.33149999380111694,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.33149999380111694,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.25850000977516174,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.14589999616146088,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/heyting-arithmetic","display_name":"Heyting arithmetic","score":0.8949999809265137},{"id":"https://openalex.org/keywords/disjunction-property","display_name":"disjunction property","score":0.7400000095367432},{"id":"https://openalex.org/keywords/intuitionistic-arithmetic","display_name":"intuitionistic arithmetic","score":0.7850000262260437}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5588617324829102},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4539102017879486},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4387966990470886},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4317716062068939},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.41888701915740967},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2307.02688","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.02688","pdf_url":"https://arxiv.org/pdf/2307.02688","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2307.02688","doi":"https://doi.org/10.48550/arxiv.2307.02688","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2307.02688","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2307.02688","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.02688","pdf_url":"https://arxiv.org/pdf/2307.02688","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4383604589.pdf","grobid_xml":"https://content.openalex.org/works/W4383604589.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4319452929"],"related_works":["https://openalex.org/W2283907279","https://openalex.org/W2058547849","https://openalex.org/W2041236447","https://openalex.org/W612033034","https://openalex.org/W4254657190","https://openalex.org/W1004849670","https://openalex.org/W1970869125","https://openalex.org/W2079871207","https://openalex.org/W3137468761","https://openalex.org/W2133425412"],"abstract_inverted_index":{"In":[0,31,80,105,135,150,161,237,271],"1986,":[1],"Flagg":[2,76],"and":[3,77,96,128,195,201],"Friedman":[4,200],"\\cite{ff}":[5],"gave":[6,203],"an":[7,48,155],"elegant":[8],"alternative":[9,156],"proof":[10,157,243],"of":[11,14,20,38,69,87,102,158,168,189,212,227,244,269],"the":[12,36,60,70,74,88,92,97,143,147],"faithfulness":[13,37],"G\u00f6del":[15],"(or":[16],"Rasiowa-Sikorski)":[17],"translation":[18,46,72],"$(\\cdot)^\\Box$":[19,39],"Heyting":[21,103],"arithmetic":[22,28,174],"$\\bf":[23,29,116,121,124,129,175,193,198,228],"HA$":[24,130,229],"to":[25,51],"Shapiro's":[26],"epistemic":[27,49,111],"EA$.":[30],"\u00a72,":[32],"we":[33,56,82,107,137,152,163,181,239],"shall":[34,57,83,108,138,153,164,182,240,274],"prove":[35],"without":[40],"using":[41],"stability,":[42],"by":[43],"introducing":[44],"another":[45],"from":[47],"system":[50,54],"corresponding":[52],"intuitionistic":[53],"which":[55,230],"call":[58],"\\it":[59,222,246],"modified":[61,89],"Rasiowa-Sikorski":[62],"translation\\rm":[63],".":[64,236],"That":[65],"is,":[66],"this":[67],"introduction":[68],"new":[71,267],"simplifies":[73],"original":[75],"Friedman's":[78,213],"proof.":[79],"\u00a73,":[81],"give":[84,139,154,241,275],"some":[85,140,184],"applications":[86],"one":[90,196],"for":[91,171],"disjunction":[93],"property":[94,100],"($\\mathsf{DP}$)":[95],"numerical":[98],"existence":[99],"($\\mathsf{NEP}$)":[101],"arithmetic.":[104],"\u00a74,":[106,180],"show":[109],"that":[110],"Markov's":[112,169,190],"rule":[113,170],"$\\mathsf{EMR}$":[114],"in":[115,146,179,192,197,210,219,252],"EA$":[117,125],"is":[118,265],"proved":[119],"via":[120],"HA$.":[122,199],"So":[123],"$\\vdash":[126,131],"\\mathsf{EMR}$":[127],"\\mathsf{MR}$":[132],"are":[133],"equivalent.":[134],"\u00a75,":[136],"relations":[141],"among":[142,186],"translations":[144],"treated":[145],"previous":[148],"sections.":[149],"\u00a76,":[151],"Glivenko's":[159],"theorem.":[160],"\u00a77,":[162],"propose":[165],"several(modal-)epistemic":[166],"versions":[167,188],"Horsten's":[172],"modal-epistemic":[173],"MEA$.":[176],"And,":[177],"as":[178,255],"study":[183],"meta-implications":[185],"those":[187],"rules":[191],"MEA$":[194],"Sheard":[202],"a":[204,242,266],"modal":[205],"analogue":[206],"$\\mathsf{FS}$":[207],"(i.e.":[208,216],"Theorem":[209,217],"\\cite{fs})":[211],"theorem":[214],"$\\mathsf{F}$":[215],"1":[218],"\\cite":[220],"{friedman}):":[221],"Any":[223],"recursively":[224],"enumerable":[225],"extension":[226],"has":[231,234],"$\\mathsf{DP}$":[232],"also":[233],"$\\mathsf{NPE}$\\rm":[235],"\u00a78,":[238],"our":[245],"Fundamental":[247],"Conjecture":[248],"\\rm":[249],"$\\mathsf{FC}$":[250],"proposed":[251],"Inou\u00e9":[253],"\\cite{ino90a}":[254],"follows:":[256],"$\\mathsf{FC}:":[257],"\\enspace":[258,260,262],"\\mathsf{FS}":[259],"\\Longrightarrow":[261],"\\mathsf{F}.$":[263],"This":[264],"type":[268],"proofs.":[270],"\u00a79,":[272],"I":[273],"discussions.":[276]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2023-07-08T00:00:00"}