{"entities":{"Q2700811":{"pageid":2711555,"ns":120,"title":"Item:Q2700811","lastrevid":82715009,"modified":"2026-05-06T21:44:23Z","type":"item","id":"Q2700811","labels":{"en":{"language":"en","value":"Second order arithmetic as the model companion of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680014"}},"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":"Q2700811$89205523-B430-4367-8BD7-08BF3D50054C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da6927da110d1e2cf3a90b328b33b8c0aacd1079","datavalue":{"value":{"text":"Second order arithmetic as the model companion of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700811$0D5FF5B6-FE35-4504-9AE4-540C703C4AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22342485511ab36ea3c094d2ea6d563c1167efae","datavalue":{"value":{"entity-type":"item","numeric-id":1982013,"id":"Q1982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$CC5EC42E-ADAF-4226-AE38-F790E2DAF334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e852f010f8b4f1ecfa6999d01a096922f1d070c","datavalue":{"value":{"entity-type":"item","numeric-id":251402,"id":"Q251402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$4860F4E8-9AD4-4CFE-97E1-740849A5F89D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$AF129F15-631E-485C-8467-CD84E7D54EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700811$9399BBE4-D51D-42BF-A22F-0A2147495491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21d1a2831707590501efe971f59622cfd2178d3c","datavalue":{"value":"https://arxiv.org/abs/1909.13372","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700811$92398F48-DF17-4B75-BD82-88F323E3BCFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$722B7904-01BF-4F8F-96E5-09F7BE1FE5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$8D43397E-F9C5-4513-B483-6E9AFBA07512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$DD306B25-0BDC-4596-9A1F-5D127BE0B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$16E37CCE-9A07-458B-BA89-46E948BC3D3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d024422cec79af8368d3d9193604ee78a9607ac0","datavalue":{"value":"7680014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$FFE4A767-A884-4793-8F14-AF945C86D2C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700811$CC992F8B-F734-4131-A488-D9FD1E720527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d7cf5dbc17dfc5249f239aace88d01f57ab0cb","datavalue":{"value":"generic absoluteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700811$9AA8BA3A-BAA7-46F2-8E42-91CD9D1566C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700811$FAF58E16-C743-4E29-A5B2-DE808E2AE2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700811$0325303B-D389-4A5C-8016-B647A32958F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c23a8e478ac705665e2ae6034b5963525ff7f9","datavalue":{"value":"Robinson infinite forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700811$04530C30-B89B-47A1-8E36-2E14524E9130","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":"Q2700811$BE626492-DD36-4354-86FC-648B1A6B29E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e82b62bccc3a22fe3bcfc75d86a7fa32f5b4b9d","datavalue":{"value":"W4283397374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$D2AA35A6-97DF-42BB-8750-C2D3858252AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9bd802bb17ba8eb1340df2e7bf4871b7856ea9","datavalue":{"value":{"entity-type":"item","numeric-id":510715,"id":"Q510715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$82561F05-0A7D-405D-A2D7-47523CB1591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43a3f83d1410954dd5de89486f16b9d3f7929ee","datavalue":{"value":{"entity-type":"item","numeric-id":4596661,"id":"Q4596661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$9CFFB572-5460-48E1-A076-E056E51680BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980c5bfffe04fc37833fb307c18791d2bb82d84c","datavalue":{"value":{"entity-type":"item","numeric-id":5149067,"id":"Q5149067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$EF3159FE-9DBA-48F7-91F1-F335072E3383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6634c96c1c3cfcd6f2ce5ee2130d4c289c75c67","datavalue":{"value":{"entity-type":"item","numeric-id":3022775,"id":"Q3022775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$16FAC8C7-85E8-48B9-9420-58A83086C3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2958d406cdd548b2bf102f2e8c8322083a1839","datavalue":{"value":{"entity-type":"item","numeric-id":4401445,"id":"Q4401445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$9BD2CA11-0CFF-40B4-9ECD-9E9F0AB7481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$75F95285-5701-4A5B-9903-A05A754B6DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$95E1D0B9-7EEA-4707-9830-263B4407DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$B1E24317-9CC3-4407-B87A-75CCF6DC8DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec139439e2e6e6f101b962dc920ef58e75bbafa8","datavalue":{"value":{"entity-type":"item","numeric-id":3053911,"id":"Q3053911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$777DC130-9FEB-47B3-B8A8-271887C29F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cf2170765230c90aa30ea8841b5d92c8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4830329,"id":"Q4830329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$D8BDC27B-7556-4B65-AC55-1448A387367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a277a8828c9907ac9c7a3e479c7bed8e7fa629b","datavalue":{"value":{"entity-type":"item","numeric-id":2879568,"id":"Q2879568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$88E26048-4588-467D-A87D-7704905C8B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427382b4424f3a070eaea8b5a3ed6975aad0ed06","datavalue":{"value":{"entity-type":"item","numeric-id":3295824,"id":"Q3295824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$928D72B1-9F05-4080-A225-FA96B40CA98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0741527d162264f6473580aadc841e95b57825c","datavalue":{"value":{"entity-type":"item","numeric-id":3390705,"id":"Q3390705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$3A4D2665-05FD-4E51-BD0E-CD166A8E14C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b78eec8629b2a93d59902a6550cee96da4d2b9","datavalue":{"value":{"entity-type":"item","numeric-id":2802069,"id":"Q2802069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$9D3D8B63-4223-418B-A194-2F1F2D37214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9ac6f55e7afc1ac221c969d9fcc62cbaee1896","datavalue":{"value":{"entity-type":"item","numeric-id":5964938,"id":"Q5964938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700811$52FE89EE-0D5C-4B70-9619-03683311BB42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a99c3aab1abb93be2ce4a8a9dc5ee2138e340e41","datavalue":{"value":"10.1007/S00153-022-00831-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700811$D4B93328-E97A-4B6F-BD07-5083421CDA9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second order arithmetic as the model companion of set theory","badges":[]}}}}}