{"id":"https://openalex.org/W2043553949","doi":"https://doi.org/10.1305/ndjfl/1093883255","title":"Predicate-functors and the limits of decidability in logic.","display_name":"Predicate-functors and the limits of decidability in logic.","publication_year":1980,"publication_date":"1980-10-01","ids":{"openalex":"https://openalex.org/W2043553949","doi":"https://doi.org/10.1305/ndjfl/1093883255","mag":"2043553949"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093883255","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093883255","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-21/issue-4/Predicate-functors-and-the-limits-of-decidability-in-logic/10.1305/ndjfl/1093883255.pdf","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":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-21/issue-4/Predicate-functors-and-the-limits-of-decidability-in-logic/10.1305/ndjfl/1093883255.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017674313","display_name":"Aris Noah","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Aris Noah","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5017674313"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":51,"citation_normalized_percentile":{"value":0.09473019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"21","issue":"4","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.8765000104904175,"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.8765000104904175,"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.8101999759674072,"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.8097000122070312,"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/predicate","display_name":"Predicate (mathematical logic)","score":0.7181884050369263},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6898775696754456},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.6623739004135132},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.6288597583770752},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5119267702102661},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.4313862919807434},{"id":"https://openalex.org/keywords/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.41053104400634766},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3497684597969055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32697662711143494},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32018598914146423},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.2581389546394348},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.1676633656024933},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1569606065750122},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.1326170563697815}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7181884050369263},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6898775696754456},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.6623739004135132},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.6288597583770752},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5119267702102661},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.4313862919807434},{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.41053104400634766},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3497684597969055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32697662711143494},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32018598914146423},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.2581389546394348},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.1676633656024933},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1569606065750122},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.1326170563697815}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093883255","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093883255","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-21/issue-4/Predicate-functors-and-the-limits-of-decidability-in-logic/10.1305/ndjfl/1093883255.pdf","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/1093883255","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093883255","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":{"id":"doi:10.1305/ndjfl/1093883255","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093883255","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-21/issue-4/Predicate-functors-and-the-limits-of-decidability-in-logic/10.1305/ndjfl/1093883255.pdf","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"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2043553949.pdf","grobid_xml":"https://content.openalex.org/works/W2043553949.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1523802366","https://openalex.org/W1912165540","https://openalex.org/W1489073803","https://openalex.org/W2296002977","https://openalex.org/W3007835832","https://openalex.org/W1988222104","https://openalex.org/W2043553949","https://openalex.org/W2025349135","https://openalex.org/W3089668284","https://openalex.org/W2906987173"],"abstract_inverted_index":{"In":[0],"this":[1,222,284],"paper,*":[2],"we":[3],"use":[4,89],"predicate-functor":[5,48,53,139,246,269],"logic":[6,16,54,140],"to":[7,84,109,199,203,217,240,259,274],"probe":[8],"the":[9,76,98,110,113,117,120,126,142,146,150,172,180,189,213,218,251,260,265],"limits":[10],"of":[11,28,39,43,47,69,79,101,116,122,128,160,171,206,231,233,253,264,268,283,290],"decidability.Quine's":[12],"assertion":[13],"that":[14,60,112,186,254,256],"polyadic":[15],"remains":[17],"decidable":[18],"as":[19,21,177],"long":[20],"there":[22],"are":[23,82,119],"no":[24,166],"permutations":[25],"or":[26,168],"recurrences":[27],"predicate":[29,123,129],"places":[30,124,130],"is":[31,59,135,165,175,236,242],"given":[32],"precise":[33],"formulation":[34],"and":[35,57,125,145,248,262,286],"tested":[36],"through":[37],"consideration":[38],"two":[40],"well-defined":[41],"subsystems":[42],"Quine's":[44],"full":[45,201],"system":[46,230,255,267],"logic.Quine's":[49],"rationale":[50],"for":[51,65,185,209,279],"developing":[52],"(see":[55],"[3]":[56],"[4])":[58],"predicate-functors":[61],"provide":[62],"a":[63,66,226,281,288],"tool":[64],"discriminating":[67],"analysis":[68,105],"various":[70],"syntactical":[71],"functions":[72,81],"carried":[73,176],"out":[74],"by":[75,131,141,149,179,188],"bound":[77],"variables":[78],"quantification.Distinct":[80],"apportioned":[83],"distinct":[85],"functors,":[86],"whose":[87],"combined":[88],"can":[90,94],"express":[91],"exactly":[92],"what":[93,241],"be":[95],"expressed":[96],"in":[97,137,221],"quantifier-variable":[99],"notation":[100],"first-order":[102],"quantification":[103],"theory.Quine's":[104],"has":[106,224],"led":[107,216,257],"him":[108],"conclusion":[111],"essential":[114,167],"services":[115],"variable":[118],"permutation":[121,133],"linking":[127,147],"identity.The":[132],"job":[134,148],"discharged":[136],"our":[138],"functors":[143],"'/?/',":[144],"self":[151],"functor":[152,182],"i":[153],"S\\":[154],".":[155,156],".The":[157],"existential":[158],"force":[159],"quantification,":[161],"at":[162],"any":[163],"rate,":[164],"distinctive":[169],"service":[170],"variable;":[173],"it":[174,249],"well":[178],"cropping":[181],"'J'":[183],"and,":[184],"matter,":[187],"Boolean":[190],"'":[191],"=\u00a3":[192],"A'.":[193],"([3],":[194],"p.":[195],"304).*I":[196],"would":[197,271],"like":[198,273],"give":[200],"credit":[202],"Fred":[204],"Sommers":[205],"Brandeis":[207],"University":[208],"setting":[210],"me":[211,258],"on":[212],"track":[214],"which":[215],"results":[219],"presented":[220],"paper.Sommers":[223],"developed":[225],"very":[227,237],"interesting":[228],"algebraic":[229],"logic.Part":[232],"his":[234],"algebra":[235],"closely":[238],"analogous":[239],"here":[243],"called":[244],"\"restricted":[245],"logic\",":[247],"was":[250],"study":[252],"isolation":[261],"exploration":[263],"restricted":[266],"logic.I":[270],"also":[272],"thank":[275],"W.":[276],"V.":[277],"Quine":[278],"reading":[280],"draft":[282],"paper":[285],"suggesting":[287],"number":[289],"helpful":[291],"revisions.":[292]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":20},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}