{"entities":{"Q1825947":{"pageid":1836689,"ns":120,"title":"Item:Q1825947","lastrevid":73639812,"modified":"2026-04-14T16:45:26Z","type":"item","id":"Q1825947","labels":{"en":{"language":"en","value":"On natural number objects, finiteness and Kripke-Platek models in toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4122190"}},"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":"Q1825947$46F25D53-1E80-4442-A16F-E5BBBDEDDC6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7a6e3ad922be61efab540d9705a98cd410a58b","datavalue":{"value":{"text":"On natural number objects, finiteness and Kripke-Platek models in toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825947$BDCCF167-6E2D-4A24-9B9A-3DBD6CC24AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b218737237f5198ad1c1b7d95a95880ac16079","datavalue":{"value":"0685.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$B3064F35-3FDF-4B2B-A725-4E252D4B1D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2552e4e578bebc7f7bdb1e84161ec1a1cd371aa8","datavalue":{"value":"10.1016/0022-4049(89)90076-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$FB67353D-B0A4-4C5F-8E0F-AF8EDB683853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890cb250244eb678d63fba0467da840e545de063","datavalue":{"value":{"entity-type":"item","numeric-id":1318785,"id":"Q1318785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$FC01A777-B1A3-4F04-A152-4CFC9F475909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bb12d514db72bd058fa36eeb2e7777e9e37cb5e","datavalue":{"value":{"entity-type":"item","numeric-id":1103040,"id":"Q1103040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$0806C77A-B27F-43DD-9402-64C6209EE15F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$923DF023-39EE-4EDA-90FE-EDCF8E9CEFBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825947$8BE36B5F-9C4D-486E-AEEB-BB42BEB5E9DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48b9274cabb8b44e51b06bb15463ba134e753c93","datavalue":{"value":"The authors show that the existence of a Kripke-Platek model after \\textit{J. Barwise} [Admissible sets and structures (1975; Zbl 0316.02047)] in an elementary topos \\({\\mathcal E}\\) is equivalent to the existence of a natural number object in \\({\\mathcal E}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825947$15A3B343-B8DF-4FCC-A6FF-CC6EA11CDC77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$F1AC81B4-D4D2-436E-B266-30525CFF984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$CCE2B110-FFE2-4471-B71B-CE55165FCB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$C5563C0B-D607-418F-B5D2-8F9C40981CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46336066f1408b1783fcff2a8ee30acf428d87df","datavalue":{"value":"4122190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$AACEB95E-9D9C-41F3-B2CB-EF1FA0C50BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169f0d3f164a3d054477724ea725172c1d2f3c5d","datavalue":{"value":"Kripke-Platek model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825947$809D77D8-03CD-45BD-BC86-388D673A5ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825947$CC84CF71-2736-489C-8156-5248B1FD637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008962c99428f2bfe92b7091a130d84d5cb5ae39","datavalue":{"value":"natural number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825947$14A70548-D8CB-41B4-ACDC-2C69F1484AB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecf4216cad559830178acf03a6652fd82611ab37","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$A138F5EB-79CA-4FC8-ADEA-E81CF971E119","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":"Q1825947$2F691B73-3620-422D-AC40-39CDDB8B3BD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b84f4c445a35162a913a4978b17ae9cc96a7b0","datavalue":{"value":"https://doi.org/10.1016/0022-4049(89)90076-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825947$D5EA5C7F-34DF-4BF4-8799-991381ECDFFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3393434a9c846a2b45df3d3bfd01e99ce4270baf","datavalue":{"value":"W2067629529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825947$82A99AAC-ADE9-4E0F-876E-C555B7C68CEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2120917a3072bd30f58b932973b29bf377ec891","datavalue":{"value":{"entity-type":"item","numeric-id":3871059,"id":"Q3871059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$F76C5598-43C1-438D-B992-0129E8E6F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc2d870b55903c5d5b7f5dda0d60f5e0eca55bc","datavalue":{"value":{"entity-type":"item","numeric-id":3769069,"id":"Q3769069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$B5A8A4D8-C297-45C5-AEA0-53BF7CBFB37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$1A57C05E-AD07-4E57-B302-E459D4BC28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5752491bf0339529033f937734e91144099338","datavalue":{"value":{"entity-type":"item","numeric-id":3824313,"id":"Q3824313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$399DB379-23FE-4E9C-B041-461785139DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$716F3F4E-49CB-489A-B7F1-56ED8F81D9A1","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":"Q1825947$601E6742-7476-4FD2-8EEB-D41007A1C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f48d5742dbdd3ef0c7a68e3234bb90a4bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":3889051,"id":"Q3889051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$EAC63F4E-E4D0-473D-9A62-8CA78BB58EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93ef96b0235e3fcf74db533a12ad83907830b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5723182,"id":"Q5723182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$0EBEEF90-55C3-4DB3-AB7A-C69C68EFBB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c09be1d3c24d52825e642e104679661a32134b","datavalue":{"value":{"entity-type":"item","numeric-id":1103042,"id":"Q1103042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825947$945456AF-8B05-4699-8DAE-247910B46757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f516d6030857b76e82d6531f84f27965e994d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3491548,"id":"Q3491548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4bf7b1adf6be2288d8c197892b73c9c2cd28bf","datavalue":{"value":{"amount":"+0.7433607578277588","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":"Q1825947$4CD8824F-C36D-407C-8A73-9A8B0E3FB07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1882ffba39d53e0369ba42d7f621c2b5d6990a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1103042,"id":"Q1103042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e34c0a2987aac830e6ce6c5f39450563a02befc","datavalue":{"value":{"amount":"+0.7426664233207703","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":"Q1825947$341F73B1-2C19-4765-A7A0-ADAB83390D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e9ae8b6a026dcba7516e7e940e6f88c28375d9","datavalue":{"value":{"entity-type":"item","numeric-id":5858943,"id":"Q5858943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f09b82a939e8c757fb33de72df36ecdb3db31c5","datavalue":{"value":{"amount":"+0.7340306043624878","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":"Q1825947$A0B712E2-4B3A-40E9-AC10-141962BA476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f175fa7ca2b5008492fe3a12f7695c12411b20","datavalue":{"value":{"entity-type":"item","numeric-id":5412187,"id":"Q5412187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8990cbca172617a75044a701da66c09a0aaf633","datavalue":{"value":{"amount":"+0.7321938872337341","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":"Q1825947$6E9D253A-8744-422E-B4CB-CE4FDE441690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a0b34f450bd76d549d1baf921777dfe0a1df41","datavalue":{"value":{"entity-type":"item","numeric-id":3769069,"id":"Q3769069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b4c5203ce4787b1062a07285a3571d4d28fd4c","datavalue":{"value":{"amount":"+0.7275650501251221","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":"Q1825947$443DADB8-4F91-404A-9915-E36A01CE2283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On natural number objects, finiteness and Kripke-Platek models in toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_natural_number_objects,_finiteness_and_Kripke-Platek_models_in_toposes"}}}}}