{"entities":{"Q2845565":{"pageid":2856285,"ns":120,"title":"Item:Q2845565","lastrevid":58024596,"modified":"2026-04-03T12:13:40Z","type":"item","id":"Q2845565","labels":{"en":{"language":"en","value":"A simple algebraic characterization of nonstandard extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203558"}},"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":"Q2845565$FE77A0BB-98DC-4F50-8C2B-E1A2B406F4BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5593933c5b7397012eea981c20c11d6a9daf8ba","datavalue":{"value":{"text":"A simple algebraic characterization of nonstandard extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845565$C5492009-2899-4D93-81E3-BD6A6C034897","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d03a2529a6ac9f405ad27e6ec818013f2e2a4cb0","datavalue":{"value":"1288.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$C541BACB-A19F-499F-8FB2-7C96970D5063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad1f0f2ceae6c6059a6787f1de4edce46f0e0d62","datavalue":{"value":"10.1090/S0002-9939-2011-11104-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$DCB08EDA-65F8-42E2-BF8B-543B384B9172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"157b1a63f4bb6c90532ec31c6ff95ffaf8d30267","datavalue":{"value":{"entity-type":"item","numeric-id":456764,"id":"Q456764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$F3345BD3-F019-4796-B417-D6592F4EA079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$8B5469FA-D142-4587-95AC-2C4C72BE044F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3b85d7159f5ef57559e9e342ed79a406d1d621","datavalue":{"value":{"time":"+2013-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845565$E3BB1D4B-C7F1-4744-B189-63655FC0BD83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f204c79e210b00e613e61b66457d48ec337d0e6","datavalue":{"value":"https://arxiv.org/abs/1101.0548","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845565$D2B1805B-6497-460C-B6E0-F3DD402D397C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$F69EA461-891F-4E7F-A311-270A70B9EC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$B5279C48-3431-45FB-A094-7CA91A3880A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$9CA3D70D-A27B-4689-9046-6D57E5FD4EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$D405FFF4-B135-483B-876B-27930B39B379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8082b6ad40785b434898194d33a701113a40d65","datavalue":{"value":"6203558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845565$9B53CC1B-B0D2-425E-A501-4866E6C18F32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24184adc3d45e98af4cbfb0f4db60b153968a68","datavalue":{"value":"nonstandard extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845565$59E5B758-3A48-4859-B6A1-9C06601D0F03","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":"Q2845565$2F9ACC70-368D-41DD-90AA-5A7267ED03BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8cb4a52c175357bccd0493b0d14df7787cd2ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1425690,"id":"Q1425690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$31CE5CA0-82FB-4A9F-A1C6-C092492BE528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c80bb883f5e22728929cc19ca15ce0947f8f76","datavalue":{"value":{"entity-type":"item","numeric-id":4674743,"id":"Q4674743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$A92A95C6-1992-46B5-AA68-637D78AA107C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147a95dfed1aba557bf567bdd1c6e850544f7e46","datavalue":{"value":{"entity-type":"item","numeric-id":4822362,"id":"Q4822362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$56DDE2D6-78FE-4C06-8772-89182DC6BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b465eafbad20a109837fd52c690a1ff58086d3da","datavalue":{"value":{"entity-type":"item","numeric-id":5482541,"id":"Q5482541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$D1570ECE-EC36-4FE9-A541-A55E8E2E6A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$2A490373-369A-4FCA-BE35-520774D7F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd51eb5fc109e259f59ae1be3719dafc72f7e780","datavalue":{"value":{"entity-type":"item","numeric-id":1774120,"id":"Q1774120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$91D55D02-80C2-4AA9-937B-3D14FF808DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028e8b930b5e40f3377fc4da9d563662a6a8e0ed","datavalue":{"value":{"entity-type":"item","numeric-id":3703899,"id":"Q3703899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$87189174-7198-4E0A-BFFE-E36C7041D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6772a7673bdcd061b51c91290a9fefbb8f3840dc","datavalue":{"value":{"entity-type":"item","numeric-id":4149448,"id":"Q4149448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$5EACEAE6-D8F2-45B0-853D-35C4B327E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b516d8c03226a9aeb9d8670eb2d4ff9585861d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4100304,"id":"Q4100304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$E7AEC7B0-A894-4893-AA13-2F529AC72013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$CA447A09-70F3-4F93-AA70-86DAB20B9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4485cf26fc297694167a3a898779b3d2f7686ef3","datavalue":{"value":{"entity-type":"item","numeric-id":4552744,"id":"Q4552744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$E4800AC4-47C0-4CEB-8B41-B8ABBA37DDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e6fff24170d8534422c2e631fa036dccad717b","datavalue":{"value":{"entity-type":"item","numeric-id":5670624,"id":"Q5670624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$980D9F33-F113-4712-84D9-83936F56E5B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13c5375c242c17b150363889dd1f317b9869f328","datavalue":{"value":"Heuristically speaking, the nonstandard extension of a set \\(X\\) is an extension of \\(X\\) to a superset \\(X^*\\) together with a way of assigning to every function \\(f:X\\to X\\) an extension \\(f^*:X^*\\to X^*\\) that is, in some sense, ``truth-preserving''. The proper framework for nonstandard extensions is first-order logic but there has been a recent trend to try and give ``logic-free'' presentations of the subject. This article falls into the aforementioned trend by proving that, if the map \\(f\\mapsto f^*:X^X\\to (X^*)^{X^*}\\) satisfies three natural axioms, then the map is a nonstandard extension. The way this is achieved is by showing that the axioms imply that the structure \\((X^*;(f^*)_{f\\in X^X})\\) is isomorphic to a \\textit{limit ultrapower} of the structure \\((X;(f)_{f\\in X^X})\\); since limit ultrapowers are known to be nonstandard extensions (in fact, they characterize nonstandard extensions by a result of Keisler), this establishes the main result of the paper.NEWLINENEWLINEA word on the aforementioned axioms: Two of the axioms are quite natural and essentially say that the map \\(f\\mapsto f^*\\) respects composition and equality. The third axioms is a little less natural. It states that, given any two \\(\\xi,\\eta\\in X^*\\), there exist \\(f,g\\in X^X\\) and \\(\\zeta\\in X^*\\) such that \\(f^*(\\zeta)=\\xi\\) and \\(g^*(\\zeta)=\\eta\\). Really, the third axiom states that a certain ordering on nonstandard models, namely the Puritz ordering, is directed. The Puritz order corresponds to the well-known Rudin-Keisler order on ultrafilters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845565$0416625C-028C-46A3-A946-1DE03097CA9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfd184f2088e28b2dd3a427842d1b851f0e21dd4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845565$6CD10C04-367E-4837-B75C-9BD2C6BB3127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e48223957ffca954ac6bab24bc75d0b1414b57","datavalue":{"value":{"entity-type":"item","numeric-id":3703899,"id":"Q3703899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c092ff7b0213fba795f4a4aabeedfc32fe592c","datavalue":{"value":{"amount":"+0.7913041710853577","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":"Q2845565$DD2F14E2-50C5-4DFB-ADF6-8906736F87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9edb9819dd32a95f671f8aae350826735167983","datavalue":{"value":{"entity-type":"item","numeric-id":3096084,"id":"Q3096084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d36ebc1ef664fcbf7d0689e6fde96dcd40c598","datavalue":{"value":{"amount":"+0.7824932932853699","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":"Q2845565$E36EADE3-9C24-4E60-A68A-C50B39CCA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ac33a13348c717db16673ec48c07e345f779d0","datavalue":{"value":{"entity-type":"item","numeric-id":4711235,"id":"Q4711235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31e9f65b3caab7487540e23f401f09f788b72ab","datavalue":{"value":{"amount":"+0.7812725901603699","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":"Q2845565$B52E63A4-5D29-4965-9477-B691E6E92F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1c8a5784792f181f5cb345129a2991a09d2dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1774120,"id":"Q1774120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1655335020768ff58750ecb4f37cec3708cba5b","datavalue":{"value":{"amount":"+0.7774080634117126","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":"Q2845565$A7FEF440-B44A-47FE-B487-62DE4709F1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6660df08b00c54904837f9ab5025782a06af77","datavalue":{"value":{"entity-type":"item","numeric-id":4226613,"id":"Q4226613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23483fdad3d9e5c9e4473273fdde0c8698de542","datavalue":{"value":{"amount":"+0.7747771739959717","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":"Q2845565$AB86541C-9053-4A8C-A740-9EC722237AD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845565"}}}}}