{"id":"https://openalex.org/W2009574435","doi":"https://doi.org/10.1305/ndjfl/1093888024","title":"Some applications of model theory to the metatheory of program schemata.","display_name":"Some applications of model theory to the metatheory of program schemata.","publication_year":1977,"publication_date":"1977-07-01","ids":{"openalex":"https://openalex.org/W2009574435","doi":"https://doi.org/10.1305/ndjfl/1093888024","mag":"2009574435"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093888024","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888024","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013154522","display_name":"Richard A. DeMillo","orcid":"https://orcid.org/0000-0001-6902-6506"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Richard A. DeMillo","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013154522"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08919567,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958999752998352,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9930999875068665,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6006017923355103},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5916914343833923},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.533582329750061},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4857064187526703},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"Foundations of mathematics","score":0.4564828872680664},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.43061283230781555},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4242097735404968},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.42262911796569824},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35790061950683594},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.35186201333999634},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2914416790008545},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28167200088500977},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22252455353736877},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17587953805923462},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17080751061439514},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.15704452991485596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6006017923355103},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5916914343833923},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.533582329750061},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4857064187526703},{"id":"https://openalex.org/C183140480","wikidata":"https://www.wikidata.org/wiki/Q833585","display_name":"Foundations of mathematics","level":2,"score":0.4564828872680664},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.43061283230781555},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4242097735404968},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.42262911796569824},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35790061950683594},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.35186201333999634},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2914416790008545},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28167200088500977},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22252455353736877},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17587953805923462},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17080751061439514},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.15704452991485596},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093888024","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888024","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093888024","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093888024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W3735282","https://openalex.org/W632143945","https://openalex.org/W1481537965","https://openalex.org/W2025007807","https://openalex.org/W3145992582"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W4311883357","https://openalex.org/W2498744856","https://openalex.org/W1595229445","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W2963177394","https://openalex.org/W94411513","https://openalex.org/W2122001640"],"abstract_inverted_index":{"1":[0],"Introduction":[1],"Program":[2],"schemata":[3,34,76,109,191,215],"(also":[4],"called":[5],"schemes,":[6],"or":[7],"abstract":[8],"programs)":[9],"are":[10,22,47,171,275],"widely":[11],"known":[12],"as":[13,256,265],"devices":[14],"for":[15,67,73,144,193],"treating":[16],"properties":[17,45,107],"of":[18,27,33,41,57,108,127,133,168,181,190,198,231,246],"computer":[19,153],"programs":[20,154],"which":[21,50,115,158],"invariant":[23],"across":[24],"a":[25,38,156,186],"range":[26],"interpretatio":[28],"ns.":[29],"Since":[30],"the":[31,44,71,124,162,169,209,228,243],"intent":[32],"is":[35,65,159],"to":[36,138,161,211],"formalize":[37],"specific":[39],"aspect":[40],"effective":[42],"computation,":[43],"studied":[46],"usually":[48],"those":[49],"have":[51],"been":[52,98,137],"prescribed":[53],"in":[54,121,208,277],"other":[55],"models":[56,245],"computation:":[58],"e.g.,":[59],"totality,":[60],"equivalence,":[61],"decision":[62,240],"power.":[63],"It":[64],"perhaps":[66],"this":[68,122,134,174,278],"reason":[69],"that":[70,105,204,226],"methodology":[72],"dealing":[74],"with":[75],"has":[77,97,136],"evolved":[78],"around":[79],"constructive":[80],"mathematics":[81,90],"and":[82,91,148,202,220,258,273],"direct":[83,205],"demonstration":[84],"rather":[85],"than":[86,242],"continuous":[87],"mathematics,":[88],"transfinite":[89],"indirect":[92],"proof.":[93],"Recently,":[94],"however,":[95],"it":[96],"pointed":[99],"out":[100],"(Kfoury":[101],"[3],":[102],"DeMillo":[103],"[2])":[104],"useful":[106],"can":[110,147],"be":[111,150],"established":[112],"using":[113],"arguments":[114],"rest":[116],"on":[117],"nonconstructi":[118],"ve":[119],"foundations;":[120],"case":[123],"model":[125,182],"theory":[126],"first":[128,195,266,282],"order":[129,196,267,283],"logic.":[130],"The":[131,222],"outcome":[132],"activity":[135],"recast":[139],"some":[140,167],"deep":[141],"questions":[142],"regarding,":[143],"instance,":[145],"what":[146],"cannot":[149],"proved":[151],"about":[152,214,287],"into":[155],"form":[157],"similar":[160],"corresponding":[163],"logical":[164],"questions,":[165],"where":[166],"answers":[170],"known.":[172],"In":[173,261],"note,*":[175],"we":[176],"present":[177],"three":[178],"such":[179,253,263],"applications":[180],"theory.":[183],"We":[184],"allow":[185],"free":[187],"wheeling":[188],"notion":[189],"(allowing,":[192],"example,":[194],"oracles":[197],"any":[199],"sort":[200],"desired)":[201],"show":[203],"limitations":[206],"exist":[207],"ability":[210],"draw":[212],"inferences":[213],"by":[216],"examining":[217],"finite":[218],"entailment":[219],"axiomatizability.":[221],"third":[223],"application":[224],"shows":[225],"even":[227],"expansive":[229],"concept":[230],"effectiveness":[232],"allowed":[233],"here":[234],"does":[235],"not":[236],"admit":[237],"more":[238],"relative":[239],"power":[241],"standard":[244,254],"computation.":[247],"2":[248],"Notation":[249],"Logical":[250],"notation":[251],"follows":[252],"sources":[255],"Bell":[257],"Slomson":[259],"[1].":[260],"particular,":[262],"notions":[264],"language,":[268],"similarity":[269],"type,":[270],"relational":[271],"structure,":[272],"interpretation":[274],"assumed":[276],"presentation.":[279],"A":[280],"given":[281],"language":[284],"always":[285],"talks":[286]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}