{"id":"https://openalex.org/W2088933768","doi":"https://doi.org/10.1016/s0168-0072(97)00042-0","title":"Classifying toposes for first-order theories","display_name":"Classifying toposes for first-order theories","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2088933768","doi":"https://doi.org/10.1016/s0168-0072(97)00042-0","mag":"2088933768"},"language":"en","primary_location":{"id":"doi:10.1016/s0168-0072(97)00042-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0168-0072(97)00042-0","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0168007297000420/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/S0168007297000420/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054341366","display_name":"Carsten Butz","orcid":"https://orcid.org/0000-0001-8304-8760"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]},{"id":"https://openalex.org/I4210087405","display_name":"Danish National Research Foundation","ror":"https://ror.org/00znyv691","country_code":"DK","type":"nonprofit","lineage":["https://openalex.org/I4210087405"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Carsten Butz","raw_affiliation_strings":["BRICS, Basic Research in Computer Science, Centre of the Danish National Research Foundation, Computer Science Department, Aarhus University, Ny Munkegade, DK-8000 \u00c5rhus C, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"BRICS, Basic Research in Computer Science, Centre of the Danish National Research Foundation, Computer Science Department, Aarhus University, Ny Munkegade, DK-8000 \u00c5rhus C, Denmark","institution_ids":["https://openalex.org/I204337017","https://openalex.org/I4210087405"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025142352","display_name":"Peter Johnstone","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Peter Johnstone","raw_affiliation_strings":["Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge CB2 1SB, UK","Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge CB2 1SB, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, UK#TAB#","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5025142352"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":{"value":3390,"currency":"USD","value_usd":3390},"apc_paid":null,"fwci":2.2138,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.87493513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"91","issue":"1","first_page":"33","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9951000213623047,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9951000213623047,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9896000027656555,"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.9725000262260437,"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/topos-theory","display_name":"Topos theory","score":0.9909470081329346},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.8281872272491455},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8069682121276855},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.5668677687644958},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5257697701454163},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4840078055858612},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4787242114543915},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.42816662788391113},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.41566723585128784},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36497801542282104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11250007152557373},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06691163778305054}],"concepts":[{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.9909470081329346},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.8281872272491455},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8069682121276855},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.5668677687644958},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5257697701454163},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4840078055858612},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4787242114543915},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.42816662788391113},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.41566723585128784},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36497801542282104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11250007152557373},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06691163778305054},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s0168-0072(97)00042-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0168-0072(97)00042-0","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0168007297000420/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.4102","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.brics.dk/RS/97/Ref/BRICS-RS-97-Ref/../../../../RS/97/20/BRICS-RS-97-20.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.27.6834","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.6834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.univer.omsk.su/~topoi/Literature/1.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.27.7232","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.7232","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.pmms.cam.ac.uk/preprint/1997/1997-1.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s0168-0072(97)00042-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0168-0072(97)00042-0","pdf_url":"https://www.sciencedirect.com/science/article/pii/S0168007297000420/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2088933768.pdf","grobid_xml":"https://content.openalex.org/works/W2088933768.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W36355091","https://openalex.org/W104937841","https://openalex.org/W577129422","https://openalex.org/W889118672","https://openalex.org/W1557351111","https://openalex.org/W1969701120","https://openalex.org/W1981403427","https://openalex.org/W1988155600","https://openalex.org/W2001282615","https://openalex.org/W2001667007","https://openalex.org/W2011659388","https://openalex.org/W2016710471","https://openalex.org/W2033961179","https://openalex.org/W2047480683","https://openalex.org/W2060621887","https://openalex.org/W2078368926","https://openalex.org/W2094804020","https://openalex.org/W4206381645","https://openalex.org/W4241603199","https://openalex.org/W6616691005","https://openalex.org/W6633275897","https://openalex.org/W6653512668"],"related_works":["https://openalex.org/W4293877434","https://openalex.org/W2056936739","https://openalex.org/W2165624401","https://openalex.org/W4293334767","https://openalex.org/W2244694539","https://openalex.org/W2088933768","https://openalex.org/W1591728283","https://openalex.org/W577129422","https://openalex.org/W3213704969","https://openalex.org/W2037864574"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}