{"entities":{"Q1961890":{"pageid":1972632,"ns":120,"title":"Item:Q1961890","lastrevid":78156014,"modified":"2026-05-06T10:55:14Z","type":"item","id":"Q1961890","labels":{"en":{"language":"en","value":"An ultrapower which does not preserve the truth of a \\(\\Pi_2\\) sentence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394748"}},"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":"Q1961890$7F2B34A0-D6C3-4C97-B8BE-4BB9509D7000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b16ef509ac538dbd450438c4574458d5694191","datavalue":{"value":{"text":"An ultrapower which does not preserve the truth of a \\(\\Pi_2\\) sentence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961890$A4E59200-44BC-4CA6-A569-8FD40531DD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34a6b04ecd7fc320e3d4f769f9a3ae94c9fc92ca","datavalue":{"value":"0951.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961890$9D3D177C-4A7B-4B9E-9EC2-95313F623FDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19398d1ee32325d889cdc71ecfdfbac06fa4361d","datavalue":{"value":{"entity-type":"item","numeric-id":1316498,"id":"Q1316498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961890$A0F1F221-6D9D-4E5E-8084-571D1A23EEE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961890$B6F70D40-B9EB-4043-A0B0-73FD2369A7EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961890$BB568B6C-6521-4091-A1B1-D31BEC775E24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cddf28f01a45c01ad5ca80d9d81a48e23fad32bd","datavalue":{"value":"Working in the ordered Mostowski permutation model, the author shows that in the absence of the axiom of choice the property ``ordered subset without endpoints'' need not be preserved by ultraproducts. This result exemplifies Howard's theorem that Los' theorem together with the Boolean prime ideal theorem are equivalent to the axiom of choice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$0C4D77AB-514D-4E6B-AB17-731F944835B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961890$E1B0E372-CC91-477B-971F-179BC2E11287","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc920b44e6696b9c3b159dcab8d130630947f61d","datavalue":{"value":"1394748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961890$B102A81C-78A4-47E5-95FF-2CC4DDB23100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b536d0624d44462cccab3f1f91ab8903405d66cf","datavalue":{"value":"ordered Mostowski permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$5D3A9F36-8625-46BE-8766-D9CB417187B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$F4F52F1E-8DBB-40EC-8D71-96BA2FF8D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$E6D6D04A-1699-426D-BE5A-83BEC08B38B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc430a28546eada7e29815d4e8769e4b6344093b","datavalue":{"value":"Los' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$15F71FE4-BE90-4F2A-B703-6660B30740CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961890$DA2E0D92-356E-4A39-AE79-287490598079","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961890$261CDD5E-14D1-4882-8582-2EA11EF38A47","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":"Q1961890$07514F5B-1CA4-4EB5-83C8-A48708AAD22E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c46a96d0a1c4d86cea10bef9ab5161a108d7321","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496163868","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961890$DAB28C1C-DF30-4695-BBEF-8AFE1CBB1AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cf717c21695479e74b11390924a89e5a3f0f4ca","datavalue":{"value":"W168190968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961890$5C951FE7-8640-4339-A7E4-B33AF10BECF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a17a0b01c43f218a457dca847d2b6761dd8c11c","datavalue":{"value":"10.21099/TKBJM/1496163868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961890$F001DDB8-9157-47F5-837B-00CBDB4B2F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1418a1ddad4260fd8984f6fbf2e3f943d4c1777d","datavalue":{"value":{"entity-type":"item","numeric-id":3826543,"id":"Q3826543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a335fd65361c20bdc52b125d72a1aae6f67820","datavalue":{"value":{"amount":"+0.8212857","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":"Q1961890$4273B23F-2CA2-4856-AA7D-B83459761029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2c0c0b6c9ff7154b36fa9ecc270bb74858a643","datavalue":{"value":{"entity-type":"item","numeric-id":5108878,"id":"Q5108878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b3e4c948dff79d84ab579ace2dbad63f7a3242","datavalue":{"value":{"amount":"+0.8140039","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":"Q1961890$795E20F9-DB2F-444F-A9FF-2B9D6A3DFB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7a379c15ef732521b23d5884175f53e5b9777","datavalue":{"value":{"entity-type":"item","numeric-id":4323034,"id":"Q4323034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237cfda3836c02fe7e72805abb7d4a76748eb60b","datavalue":{"value":{"amount":"+0.80732113","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":"Q1961890$7884FCC2-FFDC-45EC-ABD6-F3DA0D6D218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297c6a445211f3ba2b4f537113e255dfbbe7266e","datavalue":{"value":{"entity-type":"item","numeric-id":2054456,"id":"Q2054456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6453d6bd473d80a3ef78df6121c340222ad4c5","datavalue":{"value":{"amount":"+0.8031591","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":"Q1961890$D0D6C26E-81F5-466B-9BCB-CC150E575F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689eacd587eed3a13a677d9c5c55a711de9d45c4","datavalue":{"value":{"entity-type":"item","numeric-id":3094354,"id":"Q3094354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b2d5f44911d57e0d69d7b7cbb6ed598c832e68","datavalue":{"value":{"amount":"+0.7969881","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":"Q1961890$53AA673F-406B-4DAB-B8FA-A1178E829828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f22b30e1d8b978d44b49cedc571be1777e64989","datavalue":{"value":{"entity-type":"item","numeric-id":4250048,"id":"Q4250048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51eddf4f241f19d60b1537568c5dfd663ef06c88","datavalue":{"value":{"amount":"+0.78706723","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":"Q1961890$4F29943B-C814-406D-9C61-236201CD3B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf68680e05dcd642fdaa841da954180a9f7ff41","datavalue":{"value":{"entity-type":"item","numeric-id":496323,"id":"Q496323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d71153afd21700e756d87f605d8a12c5d3c5a5","datavalue":{"value":{"amount":"+0.786473","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":"Q1961890$F14EFA92-581D-48EA-AFF9-E39DE8C4220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbda255ba70c7534c016560be10c3aa9c0ed8752","datavalue":{"value":{"entity-type":"item","numeric-id":4489078,"id":"Q4489078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5e76b8cc66085cfd69450534da00aa1c36c840","datavalue":{"value":{"amount":"+0.78529966","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":"Q1961890$9D5F9B4F-EF0C-4703-BB86-3F4273D15B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2218e14b6b591aa808e3aa23bb400359f4e7623","datavalue":{"value":{"entity-type":"item","numeric-id":3717027,"id":"Q3717027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d445d86c63e05e02e5cd57bf112e9f72226af718","datavalue":{"value":{"amount":"+0.7832455","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":"Q1961890$57D07F6D-B2C8-4478-A7D2-9C5816A4169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35153e3494a936f7912dd26072edd856638efd29","datavalue":{"value":{"entity-type":"item","numeric-id":4438115,"id":"Q4438115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b79861f2cb3e2488283bf1d4fb6ca988af5eb07","datavalue":{"value":{"amount":"+0.782411","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":"Q1961890$862988B9-1B7D-429C-9C54-42623277599D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An ultrapower which does not preserve the truth of a \\(\\Pi 2\\) sentence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_ultrapower_which_does_not_preserve_the_truth_of_a_%5C(%5CPi_2%5C)_sentence"}}}}}