{"id":"https://openalex.org/W2049842103","doi":"https://doi.org/10.1305/ndjfl/1143468311","title":"An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated","display_name":"An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2049842103","doi":"https://doi.org/10.1305/ndjfl/1143468311","mag":"2049842103"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1143468311","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1143468311","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-47/issue-1/An-Uncountably-Categorical-Theory-Whose-Only-Computably-Presentable-Model-Is/10.1305/ndjfl/1143468311.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-47/issue-1/An-Uncountably-Categorical-Theory-Whose-Only-Computably-Presentable-Model-Is/10.1305/ndjfl/1143468311.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109808768","display_name":"Bakhadyr Khoussainov","orcid":null},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["RU","US"],"is_corresponding":false,"raw_author_name":"Bakhadyr Khoussainov","raw_affiliation_strings":["Novosibirsk State University RUSSIA","Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637","Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Novosibirsk State University RUSSIA","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015485533","display_name":"Denis R. Hirschfeldt","orcid":null},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["RU","US"],"is_corresponding":false,"raw_author_name":"Denis R. Hirschfeldt","raw_affiliation_strings":["Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics","Novosibirsk State University RUSSIA","Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics","institution_ids":[]},{"raw_affiliation_string":"Novosibirsk State University RUSSIA","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050813521","display_name":"Pavel Semukhin","orcid":"https://orcid.org/0000-0002-7547-6391"},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["RU","US"],"is_corresponding":false,"raw_author_name":"Pavel Semukhin","raw_affiliation_strings":["Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637","Novosibirsk State University RUSSIA","Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Auckland Private Bag 92019 Auckland NEW ZEALAND","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematics University of Chicago 5734 S University Ave Chicago IL 60637","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Novosibirsk State University RUSSIA","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Department of Computer Science University of Auckland NEW ZEALAND and Department of Mathematics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3373,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.61272366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"47","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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":1.0,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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.9937000274658203,"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/categorical-variable","display_name":"Categorical variable","score":0.887633204460144},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7869482040405273},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4714661240577698},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3855167627334595},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.341668963432312},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.14115718007087708},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12218156456947327}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.887633204460144},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7869482040405273},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4714661240577698},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3855167627334595},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.341668963432312},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.14115718007087708},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12218156456947327}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1143468311","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1143468311","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-47/issue-1/An-Uncountably-Categorical-Theory-Whose-Only-Computably-Presentable-Model-Is/10.1305/ndjfl/1143468311.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/1143468311","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1143468311","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/1143468311","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1143468311","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-47/issue-1/An-Uncountably-Categorical-Theory-Whose-Only-Computably-Presentable-Model-Is/10.1305/ndjfl/1143468311.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":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320335369","display_name":"Marsden Fund","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2049842103.pdf","grobid_xml":"https://content.openalex.org/works/W2049842103.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1511607758","https://openalex.org/W1587775859","https://openalex.org/W1985052114","https://openalex.org/W2007036268","https://openalex.org/W2023793968","https://openalex.org/W2037469541","https://openalex.org/W2056414301","https://openalex.org/W2066091881","https://openalex.org/W2070346525","https://openalex.org/W2084068730","https://openalex.org/W4232277851"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4386799044","https://openalex.org/W4380682190","https://openalex.org/W4245490552","https://openalex.org/W2773208253","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819"],"abstract_inverted_index":{"We":[0],"build":[1],"an":[2],"1":[3],"-categorical":[4,8],"but":[5],"not":[6],"0":[7],"theory":[9],"whose":[10],"only":[11],"computably":[12],"presentable":[13],"model":[14],"is":[15],"the":[16],"saturated":[17],"one.":[18],"As":[19],"a":[20,24],"tool,":[21],"we":[22],"introduce":[23],"notion":[25],"related":[26],"to":[27],"limitwise":[28],"monotonic":[29],"functions.":[30]},"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}