{"entities":{"Q1382183":{"pageid":1392923,"ns":120,"title":"Item:Q1382183","lastrevid":67452174,"modified":"2026-04-12T17:58:41Z","type":"item","id":"Q1382183","labels":{"en":{"language":"en","value":"Classifying toposes for first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1133083"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$3D738FDB-D7F6-49DC-8CF4-6CC314CB550D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6afdf677a234d85873aee8b1ae2fff732ef0ec2","datavalue":{"value":{"text":"Classifying toposes for first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382183$469D813B-DF45-4C2C-A0A7-B7C3B826E64B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"513e1dfbd1d01a60f28866fa7b8c82e9417b0fe6","datavalue":{"value":"0893.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$2556E32B-BB22-4B2E-9694-065B40BACCDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca1a87912a1543a0f91d97b96c0f1202086f2761","datavalue":{"value":"10.1016/S0168-0072(97)00042-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$444DDB92-F544-48F0-B752-F4F7185D9E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$302476F9-81AD-4663-BEED-A1FCAE082F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$9D5867A8-8757-451E-B66A-A3B18C9ECC7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$0843E4D6-71D8-44FF-BFF1-52F1A082D7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2c2c7293c0b144623de2383a87e60bd6d031a75","datavalue":{"value":{"time":"+1998-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382183$6C7629E7-2F4E-47ED-9198-2E314E032878","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37a552c366c7fb6fba05b55991a08c65c691dd4b","datavalue":{"value":"We say that a (Grothendieck) topos \\(\\mathcal E\\) is a classifying topos for an infinitary first-order theory \\(\\mathbf T\\) if, for any topos \\(\\mathcal F\\), there is an equivalence between the category of \\(\\mathbf T\\)-models in \\(\\mathcal F\\) and the category of open geometric morphisms \\({\\mathcal F}\\to{\\mathcal E}\\), which is `natural in \\(\\mathcal F\\)' in an appropriate sense. In this paper we characterize the first-order theories which have classifying toposes, as those for which the Lindenbaum algebra of provable-equivalence classes of \\({\\mathcal L}_{\\infty\\omega}\\) formulae in any context is small; we also show that every Grothendieck topos occurs as a classifying topos in this sense, and that every geometric theory has a canonical geometrically-conservative extension to a first-order theory with this smallness property. We give an explicit presentation of this extension for a couple of simple theories; but we also show, using a result of D. de Jongh, that `most' familiar first-order theories do not satisfy the smallness condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382183$3A94E01C-4E09-4E0E-B876-61F3A89E5550","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$98E41DFB-003E-44BB-8A4B-2AF71AA86049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$EF93E546-F880-4C9F-B412-0BF23D2AAEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$FB6EA10B-8B3D-4BD2-B1C7-4239B0A9C984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97dd89865b664d3f5ab136f9815cdc71355b1ff5","datavalue":{"value":"1133083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$DFA425BE-3ADE-45C2-BE00-89578D2AFCBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8bb75a3d088a5ef1487df1c8afaafe35aa4d7fd","datavalue":{"value":"classifying topos for an infinitary first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382183$95648C69-E530-4852-8F18-4CA6E3AC6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382183$7A3D8D83-DB31-4DF2-88CB-74C77D9FE657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edfd146a03ea854dd03d95bdc4404c88778bc6","datavalue":{"value":"geometric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382183$82EA0C16-77F7-4EDB-8EC1-6F3FE841A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf67f685166bba9ace514530491c7ef925c5baa","datavalue":{"value":"smallness condition for Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382183$CF40E63F-69D4-4F8E-9D70-BF714C0961D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$BDE5B626-BDC8-49FA-9843-0438DF120F1B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$17D161B7-934A-4701-92CD-FE9705D2E0A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3fa9cb377afdd8d2cb81e8d3a6108e36f2fd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1835669,"id":"Q1835669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$F31BD4ED-6884-40C3-AD1F-C2C3A291C7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$A5A1645C-1697-4BD8-849B-66FD496637C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6597e68e98311b8f563942ed16c6f11d5b3cc14a","datavalue":{"value":{"entity-type":"item","numeric-id":1236172,"id":"Q1236172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$1059F3D2-7957-4460-BD1C-94E1BA164C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$2DB424C7-5CA5-4A78-8E34-A000C1A32C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$03E05673-946D-4B27-B83E-94224C78850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b40fee132147d9ca086da6ded5d6819226ac3f2","datavalue":{"value":{"entity-type":"item","numeric-id":5333412,"id":"Q5333412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$E2B6F5F6-9F55-4C09-8A15-F883EB09ABC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f55b601901444988bae7de24343c80ea0a7eba0","datavalue":{"value":{"entity-type":"item","numeric-id":5730923,"id":"Q5730923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$1BA3E0EB-3B18-4EF2-973B-88856857BB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$6C448C9E-DCD4-42D2-A355-F822F540EA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$2CBDFE27-B6E9-48D1-8279-5CD2341F9328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$69F8F0D3-C6AB-4219-8E67-ADFEA8441D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db554ee5e65552a2b667ebc3cadec67f7fe40da","datavalue":{"value":{"entity-type":"item","numeric-id":3936721,"id":"Q3936721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$306F4DFA-250D-4449-AF22-9DC0CC460731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$01F1E1FD-6E0D-4A14-B63C-8F432F35B435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b241ab4e5c49c6c8b78c67f0b011644270d52184","datavalue":{"value":{"entity-type":"item","numeric-id":1229706,"id":"Q1229706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$50024056-1F13-4A05-A43E-1B63453ADD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21a57b7fc78c3bc20110f951ea55e48c8a8f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":1245934,"id":"Q1245934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$17425E2D-9B38-4575-B3E9-41F0B96A8A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$05CC7DDE-7BDD-49DD-A5EB-58CCCBF78186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$C10E54D5-009E-46CD-BB7C-0B5CAF6475EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc579453f457e41131451ea61628bb8dc4bfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4382484,"id":"Q4382484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$FD4E49C9-2D15-4ABD-B63F-739603FA80D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$95F7F66E-5DF3-403B-9F5E-978A3C298367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b2552df22122d49147b3088587e6117b7f5c19","datavalue":{"value":{"entity-type":"item","numeric-id":4351921,"id":"Q4351921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$C2C7292C-CF45-4304-A0D5-22DD91618ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c5cc0bca22486fbc5ab5b5d4f16640dddd8129","datavalue":{"value":{"entity-type":"item","numeric-id":5541314,"id":"Q5541314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382183$07F0ECCC-D7BC-4B1A-9CEB-C9E2AE57D303","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03e22f9f83ace68bfaf3bb588e28fcce14547d5e","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00042-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1382183$B8B5A07D-3AFD-49EC-AEEA-85E7217FECCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a93dd41647e504727557aea9533ff2e0aecaf7d5","datavalue":{"value":"W2088933768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382183$9C043442-EFBB-442F-9446-3784C335E471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f0237435072059edecd41d481df8d8a4c52103","datavalue":{"value":{"entity-type":"item","numeric-id":2825457,"id":"Q2825457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8176fe8e59eafbe440e43c575f6af54d06be3ee7","datavalue":{"value":{"amount":"+0.7918962836265564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382183$94842D7D-1D61-40CE-9109-71BE7850B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2615d28fe6ac414a94711fcffe21ac421e92c16","datavalue":{"value":{"entity-type":"item","numeric-id":638496,"id":"Q638496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaf1d9480e14e55ba1059ef10fac71f1dc0a4d2","datavalue":{"value":{"amount":"+0.784534215927124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382183$CA8A87A6-D46C-4CBF-8512-7F306557FD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bb754d15d5f3579e971b93724486f70312b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":1263664,"id":"Q1263664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb41429c4c5849304c23209c56d35f6620f1d55","datavalue":{"value":{"amount":"+0.781126081943512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382183$27686848-66A3-4789-BF34-E8F901F1926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cfb5050f809e21ebf56006795736f5e00e8560","datavalue":{"value":{"entity-type":"item","numeric-id":1034091,"id":"Q1034091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bb415477f1420bd5a7440159c1b8e7aa4ed196","datavalue":{"value":{"amount":"+0.7761253714561462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382183$2BC8C02B-995D-4486-BAD3-169CE36B0F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f2a4e409eb16b9b9dde4ec61f279c0b48e76b1","datavalue":{"value":{"entity-type":"item","numeric-id":3320376,"id":"Q3320376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccc36c96e1c81262a97e39d46565d85d1677935","datavalue":{"value":{"amount":"+0.7759436368942261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1382183$59A0B79B-3041-42F0-92B1-2C3D33DDAF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classifying toposes for first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classifying_toposes_for_first-order_theories"}}}}}