{"id":"https://openalex.org/W2061695464","doi":"https://doi.org/10.1305/ndjfl/1093958262","title":"Strong reducibility on hypersimple sets.","display_name":"Strong reducibility on hypersimple sets.","publication_year":1965,"publication_date":"1965-01-01","ids":{"openalex":"https://openalex.org/W2061695464","doi":"https://doi.org/10.1305/ndjfl/1093958262","mag":"2061695464"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093958262","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093958262","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/A5109841134","display_name":"T. G. McLaughlin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"T. G. McLaughlin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5109841134"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0205,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.7751693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9513999819755554,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9513999819755554,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.948199987411499,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.9284999966621399,"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/mathematics","display_name":"Mathematics","score":0.43640390038490295},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32319045066833496}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43640390038490295},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32319045066833496}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093958262","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093958262","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/1093958262","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093958262","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2010449756","https://openalex.org/W2053099695","https://openalex.org/W2093546192","https://openalex.org/W4229577848","https://openalex.org/W4243971812"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W1974891317","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2069964982","https://openalex.org/W2061531152","https://openalex.org/W3002753104"],"abstract_inverted_index":{"Introduction.":[0],"In":[1],"[\u03b4],":[2],"Yates":[3],"noted":[4],"that":[5,56,100,125],"all":[6,163,205],"those":[7],"hypersimple":[8,141],"sets":[9,19,61,76,155],"constructed":[10],"by":[11,166],"Dekker":[12],"in":[13,67,89],"[2]":[14],"are":[15,58,64],"nonhyperhy":[16,118],"per":[17,119],"simple":[18],"with":[20,156],"retraceable":[21],"complements.The":[22],"main":[23],"purpose":[24],"of":[25,46,50,70,75,87,140,147,154,162,236],"this":[26,78],"note":[27],"is":[28,80,99,213,219,223,243,267],"to":[29,32,53,97,115,273],"draw":[30],"attention":[31],"an":[33,104,248],"easy":[34],"construction,":[35],"modifying":[36],"very":[37,81],"slightly":[38],"the":[39,47,68,72,85,133,138,145,152,160,174,208,215,239,275],"usual":[40,175],"\"cylinder\"":[41],"mapping,":[42],"which":[43],"(in":[44],"view":[45],"second":[48],"theorem":[49],"[4])":[51],"leads":[52],"a":[54,110,116,123,126,233,246],"proof":[55],"there":[57],"hypersimple,":[59,117],"nonhyperhypersimple":[60],"whose":[62],"complements":[63],"not":[65],"regressive":[66,157],"sense":[69],"[3].Actually,":[71],"mere":[73],"existence":[74],"meeting":[77],"description":[79],"easily":[82],"shown":[83],"on":[84],"basis":[86],"propositions":[88],"[3],":[90],"[4],":[91],"and":[92],"[\u03b4];":[93],"what":[94],"we":[95,131],"wish":[96],"emphasize":[98],"our":[101],"construction":[102],"provides":[103],"effective":[105],"procedure":[106],"for":[107,137,144,151,204],"passing":[108],"from":[109],"given":[111],"hyperhypersimple":[112,148],"set":[113,122,161,217],"\u03b2":[114,218,222,251,266],"simple,":[120],"noncoregressive":[121],"such":[124],"=":[127,180,196],"m":[128],"\u03b2.For":[129],"convenience,":[130],"use":[132,207],"following":[134],"abbreviations:":[135],"\u0389S',":[136],"class":[139,146,153],"sets;":[142,149],"\u0389HS',":[143],"'R%":[150],"complement.We":[158],"denote":[159,274],"natural":[164],"numbers":[165],"'N\\":[167],"2.":[168],"Immune":[169],"Cylindrification.Let":[170],"\u03c4":[171,187,201,253],"(x,y)":[172],"be":[173,190,232,247],"recursive":[176,234],"pairing":[177],"function:":[178],"\u03c4(x,y)":[179],"x":[181],"+^{x+y)(x+y+l);":[182],"let":[183],"T":[184,259],"X":[185],"{X),":[186],"2":[188,202],"(x)":[189,199],"its":[191],"associated":[192],"\"impairing\"":[193],"functions..":[194],".thus,x":[195],"\u03c4(\u03c4":[197],"1":[198],"9":[200],"(x)),":[203],"x.We":[206],"words":[209],"\"isolated":[210],"set\"":[211],"as":[212],"customary:":[214],"number":[216],"isolated":[220],"iff":[221],"either":[224],"finite":[225],"or":[226],"immune.Lemma":[227],"1.Let":[228],"{co^(":[229],"w)":[230],"}":[231],"sequence":[235],"r.e.sets":[237],"(thus,":[238],"indexing":[240],"function":[241],"\u03be":[242],"assumed":[244],"recursive).Let":[245],"immune":[249,268],"set.Let":[250],"=df":[252],"({\u03b8}":[254],"\u00ae":[255,261],"a)":[256],"U":[257,258],"(W":[260],"(":[262],"a\u03c9":[263],"\u03be(,n-i)))":[264],"Then":[265],"<^\u00b1>":[269],"(Ykea)":[270],"({y\\k":[271],"'":[272],"Cartesian":[276],"product":[277],"operation.)":[278]},"counts_by_year":[],"updated_date":"2026-08-19T15:00:24.278416","created_date":"2025-10-10T00:00:00"}