{"entities":{"Q5311715":{"pageid":7341289,"ns":120,"title":"Item:Q5311715","lastrevid":58530357,"modified":"2026-04-05T15:10:52Z","type":"item","id":"Q5311715","labels":{"en":{"language":"en","value":"A definable nonstandard model of the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199923"}},"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":"Q5311715$DC6567B9-69AD-4182-A98B-06484808F819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"200ef93f22e86abdb7ea4885f5469bff3d2b0be6","datavalue":{"value":{"text":"A definable nonstandard model of the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311715$9D237914-29EE-4FD5-A2D0-2A93A0EA9988","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56210954284511a8685a8f807ab0e26159043651","datavalue":{"value":"1070.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$82901C5D-C7C2-401B-B8A1-AA79876C8A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$6590866B-7F96-4BBA-B7E6-005483851AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$E5BE24D8-7081-4411-9E59-84BDA4EB6E37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$91846009-FFA4-4F3A-BC21-C1A8E8C61C9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311715$79B643DB-8405-4681-A9C8-4A3BCF152B8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c0f59c4bb620f5dd78ed838a71ad2f2d402e58","datavalue":{"value":"https://arxiv.org/abs/math/0311165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311715$8367F11C-2736-4820-A11F-471D330C6F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$937F7536-299C-4A22-9CEF-3627B0D1C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$82B48ED5-237E-4688-A45D-B5BAC72DDB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$1F8D578F-7B06-4234-8522-5FDF2B5FD34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$58734C92-2968-42DC-A9E2-226476589179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"470d51e7bc00acd66aff036a041e6f272ec4397c","datavalue":{"value":"2199923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$DC8C4913-D9FE-43FA-B070-4EBE182A6818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390f38a9c8e97151b3173bca42d63c629e3d03ab","datavalue":{"value":"definable countably saturated extension of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311715$A5D22D39-2CAF-4C79-AFBD-A37C3C1DC6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e076598d3a47a406d787fe2f44621721921849b1","datavalue":{"value":"iterated ultrapower construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311715$6C617C1F-CB96-42E0-83D7-A9AA5640897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9a836a4bcf093d4e221c5c32cae3bf5e17f174","datavalue":{"value":"finite support iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311715$FCDC4097-7490-42BA-A21F-D100C3AE3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311715$F7C48E04-0335-4BFD-B8B8-E70B3B18B1B0","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":"Q5311715$B5D8ADEB-10D7-4A5D-8FB4-ABCAB1BBDBC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9e29b26fde5aa1701a17a3953b9fa9a241876bc","datavalue":{"value":"W2163900815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$D3D5E2D1-A955-45BC-B9E5-8309C6E37720","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e604df422c91732eaea100f98cc45d3dfc474494","datavalue":{"value":"Q55933464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$3934E857-DAFC-4CF6-817C-07AD84B4A258","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbde53ead303f6bf07de5fac791eaf314a5b689f","datavalue":{"value":{"entity-type":"item","numeric-id":3213364,"id":"Q3213364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$FA6CC214-7BB8-4C9F-A728-A5B8A896EF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$C1CE02C1-D459-4CDE-B6CF-3F59245052B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e56404af93914878de416f630bd2689d2358a38","datavalue":{"value":{"entity-type":"item","numeric-id":1902552,"id":"Q1902552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311715$D9D840EB-0568-414F-9B16-73833AF7FA92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7a8b6ed1fb96fe75ffb0d5147a30f719b9557d9","datavalue":{"value":"10.2178/JSL/1080938834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311715$856D93E3-7ED5-4645-85B2-B853A50D8B22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7986eb3aa09d629fa67a48a79d62f3ec0164f5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5387329,"id":"Q5387329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d4b71f3f9cc45a954d870ebbf2ff52fee50797","datavalue":{"value":{"amount":"+0.8490396738052368","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":"Q5311715$C13D6F92-D48E-48BB-9154-E50BFAAB3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d4563ec70c55ce96ea774fecad081ec14c8963","datavalue":{"value":{"entity-type":"item","numeric-id":4638992,"id":"Q4638992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800719414bd1cd04b7712fa99f8786e87ea147dc","datavalue":{"value":{"amount":"+0.7925045490264893","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":"Q5311715$E24DC419-9FBF-4963-BE98-BD6643638A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf864789e882ec2c67d61e0c076e47931fbaf10","datavalue":{"value":{"entity-type":"item","numeric-id":4385854,"id":"Q4385854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb67095fe69b9b9cd343e8fae51bf6b16e661a2","datavalue":{"value":{"amount":"+0.7687587141990662","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":"Q5311715$FC3958B3-9244-4C7D-A0F5-8F2CA0397855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544d932a93365f93af0e32fab23ccdcd9de63609","datavalue":{"value":{"entity-type":"item","numeric-id":3985098,"id":"Q3985098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb67095fe69b9b9cd343e8fae51bf6b16e661a2","datavalue":{"value":{"amount":"+0.7687587141990662","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":"Q5311715$B88FB907-60D9-4559-AA9D-AC15D5D5EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaeecfee89670ef57348e43eb4ea3675b4f3095","datavalue":{"value":{"entity-type":"item","numeric-id":3617363,"id":"Q3617363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f945ecc910dd2b322d3a10ef092850a2a5d92158","datavalue":{"value":{"amount":"+0.7345798015594482","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":"Q5311715$C708651F-C49E-4190-AC3F-AD9E8CCE62AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311715"}}}}}