{"id":"https://openalex.org/W7115197070","doi":"https://doi.org/10.1017/bsl.2025.10092","title":"J <scp>ava</scp> D <scp>arleen</scp> V <scp>illano</scp> . <i> <b>Computable Categoricity, and Topology in Reverse Mathematics</b> </i> . University of Connecticut. 2025. Supervised by Reed Solomon and Damir Dzhafarov. MSC: 03C57, 03B30.","display_name":"J <scp>ava</scp> D <scp>arleen</scp> V <scp>illano</scp> . <i> <b>Computable Categoricity, and Topology in Reverse Mathematics</b> </i> . University of Connecticut. 2025. Supervised by Reed Solomon and Damir Dzhafarov. MSC: 03C57, 03B30.","publication_year":2025,"publication_date":"2025-12-01","ids":{"openalex":"https://openalex.org/W7115197070","doi":"https://doi.org/10.1017/bsl.2025.10092"},"language":"en","primary_location":{"id":"doi:10.1017/bsl.2025.10092","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10092","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F63CA5103CC2F7C671406FE8011D1235/S1079898625100929a.pdf/div-class-title-computable-categoricity-and-topology-in-reverse-mathematics-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F63CA5103CC2F7C671406FE8011D1235/S1079898625100929a.pdf/div-class-title-computable-categoricity-and-topology-in-reverse-mathematics-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Java Darleen Villano","orcid":null},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Java Darleen Villano","raw_affiliation_strings":["University of Connecticut. 2025"],"affiliations":[{"raw_affiliation_string":"University of Connecticut. 2025","institution_ids":["https://openalex.org/I140172145"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I140172145"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.7025096,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"4","first_page":"694","last_page":"694"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9804999828338623,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9804999828338623,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0024999999441206455,"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/T12162","display_name":"Cellular Automata and Applications","score":0.00139999995008111,"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/computable-number","display_name":"Computable number","score":0.7149999737739563},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.6085000038146973},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.5800999999046326},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5745000243186951},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5297999978065491},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5156000256538391},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.4763000011444092},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.4569999873638153}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7947999835014343},{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.7149999737739563},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.6085000038146973},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.5800999999046326},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5745000243186951},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5360000133514404},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5297999978065491},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5156000256538391},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.4763000011444092},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.4569999873638153},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4041000008583069},{"id":"https://openalex.org/C127753061","wikidata":"https://www.wikidata.org/wiki/Q2005236","display_name":"Reverse mathematics","level":3,"score":0.3619999885559082},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.3386000096797943},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.2689000070095062},{"id":"https://openalex.org/C3853638","wikidata":"https://www.wikidata.org/wiki/Q1314081","display_name":"Gap theorem","level":5,"score":0.266400009393692}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/bsl.2025.10092","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10092","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F63CA5103CC2F7C671406FE8011D1235/S1079898625100929a.pdf/div-class-title-computable-categoricity-and-topology-in-reverse-mathematics-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/bsl.2025.10092","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10092","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F63CA5103CC2F7C671406FE8011D1235/S1079898625100929a.pdf/div-class-title-computable-categoricity-and-topology-in-reverse-mathematics-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7115197070.pdf","grobid_xml":"https://content.openalex.org/works/W7115197070.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1,165,204],"say":[2],"that":[3,42,108,168,235,244],"a":[4,22,36,43,70,135,176,185,241,253,277],"computable":[5,15,23,44,111,118,136,242],"structure":[6,45],"$\\mathcal":[7,17,46,62,65,138],"{A}$":[8,47,66],"is":[9,48,86,141,154],"computably":[10,49,98,142,144,156],"categorical":[11,50,145,157],"if":[12,55],"for":[13,56],"every":[14,57],"copy":[16,61],"{B}$":[18,28,63,78],",":[19,67,122,152],"there":[20,68,123],"exists":[21,69,124],"isomorphism":[24,74],"$f:\\mathcal":[25,75],"{A}\\to":[26,76],"\\mathcal":[27,77],".":[29,79,164,203,231],"This":[30],"notion":[31,93,221],"can":[32,183],"be":[33],"relativized":[34],"to":[35,52,87,147,159,215,252],"degree":[37,161,254],"$\\mathbf":[38,53,58,71],"{d}$":[39,54,59,72],"by":[40,169],"saying":[41],"relative":[51,146,158,251],"-computable":[60,73],"of":[64,83,91,94,128,179,196,200,208,219,225,238,249,267,276],"A":[80],"key":[81],"part":[82],"this":[84,92,213,220],"thesis":[85,214],"study":[88,216],"the":[89,97,131,172,190,194,197,209,217,223,246,265,272],"behavior":[90,218,248],"categoricity":[95,250],"in":[96,104,150,162,193,212,222,228,257,264],"enumerable":[99],"degrees.":[100],"The":[101],"main":[102,198,261],"theorem":[103],"Chapter":[105,201,229,258],"$1$":[106,202,259],"states":[107],"given":[109],"any":[110,117,160],"partially":[112],"ordered":[113],"set":[114],"P":[115,129],"and":[116,134,153],"partition":[119],"$P=P_0\\sqcup":[120],"P_1$":[121],"an":[125],"embedding":[126],"h":[127],"into":[130,189],"c.e.":[132,191],"degrees":[133,149,192,227],"graph":[137],"{G}$":[139],"which":[140],"categorical,":[143],"all":[148],"$h(P_0)$":[151],"not":[155],"$h(P_1)$":[163],"also":[166],"show":[167,234],"using":[170],"largely":[171],"same":[173],"techniques":[174,210],"alongside":[175],"standard":[177],"construction":[178],"minimal":[180],"pairs,":[181],"we":[182,233,270],"embed":[184],"four-element":[186],"diamond":[187],"lattice":[188],"style":[195],"result":[199],"then":[205],"apply":[206],"some":[207],"used":[211],"context":[224,266],"generic":[226],"$2$":[230],"Additionally,":[232],"several":[236],"classes":[237],"structures":[239],"admit":[240],"example":[243],"witnesses":[245],"pathological":[247],"as":[255],"seen":[256],"\u2019s":[260],"theorem.":[262],"Lastly,":[263],"reverse":[268,273],"mathematics,":[269],"investigate":[271],"mathematical":[274],"strength":[275],"topological":[278],"principle":[279],"named":[280],"<jats:inline-graphic":[281],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"":[282],"mime-subtype=\"png\"":[283],"xlink:href=":[284]},"counts_by_year":[],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-12-15T00:00:00"}