{"entities":{"Q695312":{"pageid":697161,"ns":120,"title":"Item:Q695312","lastrevid":63582492,"modified":"2026-04-11T14:08:47Z","type":"item","id":"Q695312","labels":{"en":{"language":"en","value":"Atomic toposes and countable categoricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117771"}},"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":"Q695312$F14E74EC-9FC1-477A-BC70-611B216124E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00b8bfb5c0116c883e2202f55f5f839fda19481c","datavalue":{"value":{"text":"Atomic toposes and countable categoricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695312$52A600BB-D682-4349-A0A3-8F44CD0041D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15edba56c1517a276b57705e63c58a9319288d83","datavalue":{"value":"1277.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$F6F36D74-30DE-4843-B89C-9FA6A384CE30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54abcbb815d1a58f46a444816126c0eaeeab96da","datavalue":{"value":{"entity-type":"item","numeric-id":290643,"id":"Q290643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$8C50F9EF-08D4-481B-835D-1B37FC379C5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$090578D6-9E0B-460E-BBB7-B1B831D2FB79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d77e54db9c1211eff4b222f6f2dc0ae950d8812","datavalue":{"value":{"time":"+2012-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695312$B8EBFA6A-AFA6-4A13-BDCA-66B4BBD778FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f9065ce046e92b3ef8df304da99726461b6905e","datavalue":{"value":"https://arxiv.org/abs/0811.3547","type":"string"},"datatype":"url"},"type":"statement","id":"Q695312$8A9C7259-4C54-4E9C-93D8-74AF469D3878","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a34c4cb7e20977c10da0f9a545189d4728214656","datavalue":{"value":"We recall that an atomic topos is an elementary topos \\(\\xi \\) which possesses an atomic geometric morphism \\(\\xi \\rightarrow\\mathrm{Set}\\). In this paper the author investigates the class of geometric theories classified by an atomic topos having enough points. So the author obtains a characterization of this class of theories in terms of types in classical model theory; in particular she shows that every complete geometric theory classified by an atomic topos is countably categorical. This represents a generalization of the well-known characterization of complete coherent theories classified by an atomic topos.","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$E5674892-C9A1-4707-838F-4FD9C033EDD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$63C89D77-EDCC-4FC7-B911-66DC910E59F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$8FABB31B-DF0B-44A0-A123-27BBD32BEAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$0A673C46-E6D6-4757-AFA5-E761ADCA7142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$213CDFC0-C90B-4892-97A4-0D45D0D04CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f34f379fdc1860d2b91fc412f4f7e9c4ea468bad","datavalue":{"value":"6117771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$3FE11071-2B26-4A34-B6A7-072671EDD04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7426442d524f1e8f432056c3d35300baa886418","datavalue":{"value":"atomic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$B2AD7184-C97F-4656-AAF8-804679BE72D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59006e803f905877df03bae3244f9aee3865c459","datavalue":{"value":"Boolean topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$E911550B-C55D-4F33-8C24-9459788B8668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b686bcb417a0c636aaede7d7e672c8c4a6616742","datavalue":{"value":"countably categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$8103E069-94DC-443B-8474-4D8A604D56CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edfd146a03ea854dd03d95bdc4404c88778bc6","datavalue":{"value":"geometric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$1BF869D3-DA3D-4707-A1EA-560111599BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fbb947896ae85d0fbbdd050982542458ad15934","datavalue":{"value":"atomic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$C4A345BB-3FA6-4E56-B9E1-5D01936ED5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q695312$BC4F3A8D-C84B-4B91-9041-48886F382FA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$997E8AB9-47F4-42E3-AA7C-F6BB90B394A5","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":"Q695312$57D2E1A4-44D1-4C0E-94E6-49951EFE6F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06d3d2761f281ff73cb4034330455276c228d55c","datavalue":{"value":"W2011441179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$867E85A8-9FA9-4586-A21D-249348E00324","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7659d50b96557c8abf012230fc56cf4665079e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1052317,"id":"Q1052317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$6B06ECFD-03F0-40F6-BA5C-2D49DD3A630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba75e80d50d4a1ea82c0b6476e77cb8618dcc16","datavalue":{"value":{"entity-type":"item","numeric-id":1034091,"id":"Q1034091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$CB056E3B-DB8C-4A3A-B8B4-AF2522B8902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695312$045D9C01-A898-440C-9D9D-FE0C601109DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13a6fe3bac95fd22d27778d0d56ac86d7e425111","datavalue":{"value":"10.1007/S10485-010-9244-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695312$12D72692-64A3-4ABE-BBB2-1DB903CA9540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5583eb33f4c082710c98228101214723cdf282f","datavalue":{"value":{"entity-type":"item","numeric-id":1840717,"id":"Q1840717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0757c77a614a62172ee63a6acc5a886d561569","datavalue":{"value":{"amount":"+0.7768405675888062","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":"Q695312$6E7C6567-AABE-44ED-8E91-F297AE1D4227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed47097388da0939c5959c77d137beb4340a440","datavalue":{"value":{"entity-type":"item","numeric-id":3755628,"id":"Q3755628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c604adefad6940de8ddf35bb81c7d1e8c7fba41e","datavalue":{"value":{"amount":"+0.7744696140289307","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":"Q695312$5185AE68-0F21-4570-9D20-295D3BF033A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a4f76d76c4b852780d50a3a6ff1d93444e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":5195067,"id":"Q5195067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e27f329a1509fc89b2622567595fa25c14228a","datavalue":{"value":{"amount":"+0.7495747208595276","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":"Q695312$310085A2-5183-4732-B348-1A913EEF1268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ed9db92ec3c0dcbd7c9c0c274111850d54769d","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc2fabca52516c147b68bf63663511f91e22eeb","datavalue":{"value":{"amount":"+0.7451887130737305","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":"Q695312$C31ED2D4-79CC-4241-AC22-C26461284A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec59a15a267199c1a9340f1f7800629ac37cb75","datavalue":{"value":{"entity-type":"item","numeric-id":2884477,"id":"Q2884477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab3d4e99383239289b11e5a4bbc20e63603b1c7","datavalue":{"value":{"amount":"+0.7441563010215759","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":"Q695312$EDAA9562-11C7-4D92-BEA4-839EAE856E38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atomic toposes and countable categoricity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atomic_toposes_and_countable_categoricity"}}}}}