{"entities":{"Q2266009":{"pageid":2276752,"ns":120,"title":"Item:Q2266009","lastrevid":71718243,"modified":"2026-04-14T00:05:26Z","type":"item","id":"Q2266009","labels":{"en":{"language":"en","value":"The Skolem-L\u00f6wenheim theorem in toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893183"}},"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":"Q2266009$0CCC5200-3E11-466B-9F75-C9F22DC4C59F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1cbafd49dc0795094c7544bf0d439b65e852d6","datavalue":{"value":{"text":"The Skolem-L\u00f6wenheim theorem in toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266009$7AFB0FDA-71E8-4715-A0F7-364FB3F8E4AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b641ce97841ac4fc6f74c5168ba72945a53b7e7a","datavalue":{"value":"0561.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$E4A785F1-6093-4C71-9FCE-B6DCE248EEB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ba0e33cdeb40402455f1fbbcd784b3deb255e87","datavalue":{"value":"10.1007/BF01371634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$1D6285BF-DF5B-4903-B9D5-BB805EDBF854","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$D606D4C9-7974-49B8-9E2D-FD778F08A5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266009$8ED2FD13-9704-4874-8F1D-BAECA8391CDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3b3d207e0aaac7833c1b38a6bfbb0db76fb7273","datavalue":{"value":"The author begins by introducing a notion of ''power'' for objects of a (suitably complete) topos E equipped with a suitable class G of generators (the power of an object X being the smallest cardinality of a covering of X by generators). He then defines an interpretation, for first-order structures in a topos, of generalized quantifiers in the sense of \\textit{P. Lindstr\u00f6m} [First order predicate logic with generalized quantifiers, Theoria 32, 186-195 (1966)]. Armed with these two tools, he proves a downward Skolem-L\u00f6wenheim theorem for models in toposes of theories expressed in languages with generalized quantifiers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$84C21C54-1D13-4BB2-B224-FD4E0B813752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$16AFF023-E8CD-4D09-AED5-4C3A0A4C6503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$70C70454-2238-478A-9397-8F3EFF92A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$7B432B5D-5BFC-49A5-BBD4-0BFF72BB87DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1f4bca3e5784703c55c7c8ad13efccd6cd26449","datavalue":{"value":"3893183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266009$73289911-6BF0-4682-8AFA-BAE119F70A68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69873c79263c7b8776ec9720ad62111e7508f78","datavalue":{"value":"power of an object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$5B516167-F670-4FB6-A70E-9D1C51FFAC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e10916b80b773755913495cf6300d1fb3190a51","datavalue":{"value":"first-order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$9D1AFA6B-F94D-4C58-8565-207C1E917DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$7D5C6DAD-618E-49B8-B96D-DF39DA1FF6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e602f739db97b57e6200b082d8cc619ee1709c","datavalue":{"value":"downward Skolem-L\u00f6wenheim theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$F82D2F8B-67AF-4736-862F-366CF778E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26dd4a15392b13ae4cf7449865809f4942fb136e","datavalue":{"value":"models in toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266009$E82C43CB-7EBA-4552-8953-10312F5FAF4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$043CD193-9F1D-477E-A083-A6A880EE57E3","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":"Q2266009$FFF77F59-DD6A-46A8-9168-FB5031886071","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":"Q2266009$3EE04543-C6E8-47CC-9F75-FC6B6C68E2F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd37b97b4eaeb5306e7d549aab3d43f2b2932ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1257873,"id":"Q1257873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$0025312B-FAFA-4ADC-8E79-4DD71542D12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03344fb3809ac2d00cb9b60c5a358c8728ef000","datavalue":{"value":{"entity-type":"item","numeric-id":3113046,"id":"Q3113046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$8717841B-894D-4529-A854-E2F745058CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec11b4854fdcf46604a413806c094667d6fc7082","datavalue":{"value":{"entity-type":"item","numeric-id":4198736,"id":"Q4198736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$943AAA49-65F8-45CF-94E7-6A498272444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$9DB1F753-E96B-4591-99BB-D9130EFAB15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$10B3232D-E445-48D0-9766-FAC468EB2BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a58a7fef55f930c3e05c462fca5c8869603702","datavalue":{"value":{"entity-type":"item","numeric-id":4085903,"id":"Q4085903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266009$EFC5A6A7-F126-4718-8F44-BA185A9C71A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a237153343e03cd8f194c91851830830a50dae70","datavalue":{"value":{"entity-type":"item","numeric-id":1068081,"id":"Q1068081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d315938bd19f48e79339543f0f3980c4c0626c8c","datavalue":{"value":{"amount":"+0.9782866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$52AFA059-E597-48A4-81D3-0B91B88CCFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9456559be966e437964ee39052b5d7e7b6c25ee","datavalue":{"value":{"entity-type":"item","numeric-id":1413097,"id":"Q1413097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4c6a8b5d7fcf7ed84d39c77062e9c35a666dbb","datavalue":{"value":{"amount":"+0.91405076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$179EC92D-5519-476F-95E2-2DE5DFF6EEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8de705011c46b9e8b3776e8577134f3c3969dc","datavalue":{"value":{"entity-type":"item","numeric-id":4382478,"id":"Q4382478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34083c6c1c8777bc9b3f444e13beba448c9a1526","datavalue":{"value":{"amount":"+0.90367436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$1EF62CD5-AF0A-4CF0-B1E8-B8F3102A46F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c3a20a2a09a32f51d37ac15815f6006dce29cd","datavalue":{"value":{"entity-type":"item","numeric-id":2841501,"id":"Q2841501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918a478bebaba7b1077fca2a59e0b691b2c9ce80","datavalue":{"value":{"amount":"+0.89975935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$A7E741FB-AF60-4F22-80BD-71728D107BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3ae817494834342d9ecc8bd6ef829c831ecb69","datavalue":{"value":{"entity-type":"item","numeric-id":3833227,"id":"Q3833227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ea1a8d89ed7940c2cc27ee8a2cb7eb495dee0a","datavalue":{"value":{"amount":"+0.89786565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$B8F2E033-CF0D-46FC-926F-EB9BC8AD0EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf318676ff16089f319b608ae9a73ab06d3172","datavalue":{"value":{"entity-type":"item","numeric-id":4778494,"id":"Q4778494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8ee7c102afdd847696a97a1bdd9e835b432442","datavalue":{"value":{"amount":"+0.8972414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$F49DE3CE-29F9-494D-B835-1018784B98F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36ee02af7aa3fa7758a080ddf37f30fbd146da4","datavalue":{"value":{"entity-type":"item","numeric-id":969688,"id":"Q969688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4385fa33a6e55a21d1ab909da872d863b2119ab4","datavalue":{"value":{"amount":"+0.8944961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$D36F5B6D-031A-4B16-A53D-3B68675F35D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa682c1fd8bc2dfe8085673442c2920a4b9a727e","datavalue":{"value":{"entity-type":"item","numeric-id":2339098,"id":"Q2339098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9937cadc0e2eb7dc82eebf5a47957cda68582f0","datavalue":{"value":{"amount":"+0.893838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$334FB55E-21B0-4F4A-B224-B5D9613E6AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00569249ce842f3fc26a234598fd808f2224e396","datavalue":{"value":{"entity-type":"item","numeric-id":5278408,"id":"Q5278408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02cf59df807bcb91251539158d4eaa6334ba1ac","datavalue":{"value":{"amount":"+0.88953847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$E843BFE4-1E4E-4111-A71E-F67F45E12982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c22d8aa44c3f6e9f5949840d4a64a96cad51b25","datavalue":{"value":{"entity-type":"item","numeric-id":4829243,"id":"Q4829243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070f779c718bd52e0b4263e90c99fdb12eeebebd","datavalue":{"value":{"amount":"+0.887732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266009$630125E3-1687-4743-9DC8-1311F3F23F7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Skolem-L\u00f6wenheim theorem in toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Skolem-L%C3%B6wenheim_theorem_in_toposes"}}}}}