{"entities":{"Q1887377":{"pageid":1898119,"ns":120,"title":"Item:Q1887377","lastrevid":69197076,"modified":"2026-04-13T05:24:55Z","type":"item","id":"Q1887377","labels":{"en":{"language":"en","value":"A ring homomorphism is enough to get nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118937"}},"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":"Q1887377$F8E885D9-78F7-411F-822E-EEB0D8D74C6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d39c5f50451bbefca1fe6dbcedc18f99d9797af","datavalue":{"value":{"text":"A ring homomorphism is enough to get nonstandard analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887377$415E18AC-0194-42C5-B5C4-5499D21F15D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ccbc886720e9b717ac273e376a062b50c2e98ab","datavalue":{"value":"1062.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887377$2FCC24EB-9B88-46A9-913A-9D7A6F9F7DFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d163cb14a53180b61f3db74bce946e60519bc1","datavalue":{"value":{"entity-type":"item","numeric-id":206467,"id":"Q206467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887377$05A6EE7A-D945-4BC0-9B48-3F028D60CC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1cdd0019674329d75b70843d1759b355a83f054","datavalue":{"value":{"entity-type":"item","numeric-id":201661,"id":"Q201661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887377$5B3094A3-3E2C-4783-B05B-98FC79927C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887377$F059032F-1954-45EA-9C5A-F248C82BAC06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"400dc8e5e261a0589521bcd68dc89ca5ee5fed68","datavalue":{"value":{"time":"+2004-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887377$F76EBD53-2C74-4590-B9FB-EA923117E66D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a45550cd04f928bce82f0ba06b8a2bb2651bb29a","datavalue":{"value":"The paper contains an exposition of some fundamental facts of nonstandard analysis based on a special class of ring homomorphisms. The principal notion of the paper is a {good homomorphism}; this is a special surjective homomorphism of \\(\\mathbb{R}^I\\) where \\(I\\) is a set on a field \\(\\mathbb{F}.\\) By using incomplete good ultrafilters [\\textit{H. J. Keisler}, Ann. Math. (2) 79, 338--359 (1964; Zbl 0137.00803), \\textit{K. Kunen}, Trans. Am. Math. Soc. 172(1972), 299--306 (1973; Zbl 0263.02033)], it is proved that for every infinite cardinal there exists a good hyper-homomorphism \\(\\phi:\\mathbb{R}^I\\rightarrow \\mathbb{F}\\). It is proved that under the hypothesis \\(2^k=k^+\\), where \\(k\\) denotes the succesor cardinal for \\(k,\\) all hyperreal fields originating from good hyper-homomorphisms on rings \\(\\mathbb{R}^I\\) are isomorphic as ordered fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887377$9BE2D837-79E7-4D91-85E2-AC238FA774B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887377$08C3F44C-2091-481A-9682-B177223FE657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887377$9B498251-0139-44F5-8D02-8ACE50FCA1C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3137d1b40f8f088c24b1b0b7475ad5a7740e35b5","datavalue":{"value":"2118937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887377$B23C904B-523C-47A8-9CC8-86A94D2A7194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887377$A9E9AA9B-8F6E-4B5E-8861-6964A21FB570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a9bcd1f979be9cbacdb8f63ac71fd73ca8b5b1c","datavalue":{"value":"Leibniz transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887377$D1A53C4F-95B1-4BDC-9DA3-BDC08164AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c29385dfd5e48167574d6413d28f2515c512a43","datavalue":{"value":"hyperreal fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887377$7418525C-EC73-4C1D-AE93-FB0BD6D0D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45b23a0bc7ab4e191e4881611d740a39c922bd78","datavalue":{"value":"hyper-homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887377$E73B5E4C-70C4-4C14-96FA-A3C5AC0693E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebe26081707a4932f68ed76a49e4dfb5cdfe3600","datavalue":{"value":{"entity-type":"item","numeric-id":590811,"id":"Q590811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887377$1DBA1D12-6F9B-4E63-B133-F79EE6FA8CC8","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":"Q1887377$339B9938-A8E8-4C38-957A-F9C4F1F9461C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea319bcfda1cbbcf98698b1105a2ea83903aa70b","datavalue":{"value":{"entity-type":"item","numeric-id":4032434,"id":"Q4032434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c6b8f56026d4b65f634a50daf049634f9ccc3b","datavalue":{"value":{"amount":"+0.852106","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":"Q1887377$FA6EEDB1-4F93-47AD-8228-C6FE71384B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff5a61f8dbbafe809def42427bd2ec7a5333033","datavalue":{"value":{"entity-type":"item","numeric-id":1293804,"id":"Q1293804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007f8a5335edbc1a837d138915072fa17b5d1d27","datavalue":{"value":{"amount":"+0.83870345","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":"Q1887377$6D463C97-31DD-481F-8F5E-6E5653EC96FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16b16dd98bee8356e1b25824486a2a2064b7328","datavalue":{"value":{"entity-type":"item","numeric-id":2984760,"id":"Q2984760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d60ead04e3fa0b718cfad4f0dc21ab31562e13e","datavalue":{"value":{"amount":"+0.83048403","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":"Q1887377$31B27E22-7612-4258-A2D1-B4D7FD197A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1ee8d227b4407f22214e2a22a9f7eceb6b0b44","datavalue":{"value":{"entity-type":"item","numeric-id":1119973,"id":"Q1119973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04960de7f0a430264c6ddaed46a83aefabf54785","datavalue":{"value":{"amount":"+0.82935685","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":"Q1887377$96B250CE-856A-434F-973A-15290C1142C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc390aac45f68e53cc3eb4a86bbcbbf7f1c7e95","datavalue":{"value":{"entity-type":"item","numeric-id":5748453,"id":"Q5748453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a985919269fc849a2432f4921ab62e5dfc4d62","datavalue":{"value":{"amount":"+0.82909876","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":"Q1887377$B825FDE9-737D-47CA-AE91-80E1F119867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ce5196a0be377464ecbcbd4cb5e0225c262113","datavalue":{"value":{"entity-type":"item","numeric-id":4231610,"id":"Q4231610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d64a2e668efec3a99801eaf9743185ba766248","datavalue":{"value":{"amount":"+0.8290323","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":"Q1887377$1CB8F301-CE2E-44FD-A8C5-470893246450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b09a48e62232b3b269eaf289114dc5c897c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3013605,"id":"Q3013605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42e88e31137035a5e680b042d6e44445d65788e","datavalue":{"value":{"amount":"+0.8281912","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":"Q1887377$F2080420-B3A8-4B69-B64F-1C0D4FB84E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2d4b801573853c15e05d2161cb072ca307977d","datavalue":{"value":{"entity-type":"item","numeric-id":3552134,"id":"Q3552134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8972bd8cbf2efd6d38c21f2042910ff3dc024b","datavalue":{"value":{"amount":"+0.8269147","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":"Q1887377$3F26BCAD-E7A8-4793-8356-DE0D8C84C983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f049cb15079f8cc23eab026b287643a4d466244b","datavalue":{"value":{"entity-type":"item","numeric-id":1817885,"id":"Q1817885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a09ef33781140e476db9de658917a861bd42399","datavalue":{"value":{"amount":"+0.8235277","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":"Q1887377$C02DB3CF-FF5D-4BEB-9D57-0BE2CB69E62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8f9a55466e479c1bea845fb1f192afe8d38f95","datavalue":{"value":{"entity-type":"item","numeric-id":5842215,"id":"Q5842215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307c981d4d4c81f3093ec11c15d8d536e1cf1670","datavalue":{"value":{"amount":"+0.82314485","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":"Q1887377$27BF6BE2-E403-417E-BDB7-0F6A0884DD03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A ring homomorphism is enough to get nonstandard analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_ring_homomorphism_is_enough_to_get_nonstandard_analysis"}}}}}