{"entities":{"Q911590":{"pageid":913438,"ns":120,"title":"Item:Q911590","lastrevid":49367650,"modified":"2026-01-07T01:14:24Z","type":"item","id":"Q911590","labels":{"en":{"language":"en","value":"Relatively standard elements in Nelson's internal set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142033"}},"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":"Q911590$D4A346D2-B674-469E-8DDC-C029A90A10CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ea906c511484a9fe5f8082565e7ec7e93c0aea","datavalue":{"value":{"text":"Relatively standard elements in Nelson's internal set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911590$24C2B0B2-CF3F-4C0B-91B2-7AF8DEC33C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8475300adf3b14c5bced76c82f5a77b0e7b9d74","datavalue":{"value":"0697.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$ADCB6BBA-D07B-48E4-ACB6-F5521AC7C072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"737f2e3fb6738db5b8eb492657b80b6615524001","datavalue":{"value":"10.1007/BF01054217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$72E9C657-8099-44ED-90BC-2212780B6144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc86bb44a484c844d4b20748aaf3623169a995c","datavalue":{"value":{"entity-type":"item","numeric-id":190589,"id":"Q190589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911590$40658F3B-EEC8-428F-A922-53B20F6322BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911590$D734B9D4-A736-49E8-8031-BA7B8B0F0BC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911590$50554E90-8506-4623-A1FE-1C7EF3322918","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca2cebe297e8ae635223d2ccc279086bdbe6c41c","datavalue":{"value":"In this paper, a concept is introduced by the following formula in the internal set theory of E. Nelson:  \\[  (1)\\quad \\exists^{st}\\quad \\phi (F fin(\\phi)\\quad \\wedge \\quad y\\in dom \\phi \\quad \\wedge \\quad x\\in \\phi (y))  \\]  F fin(\\(\\phi)\\) means \\(\\phi\\) is a function and for all \\(x\\in range f\\), x is finite. (1) is denoted by the symbol: x st y and this is read as ``x is a standard element relative to y''. Some basic properties of x st y are given and proved: 1) x st y and y st z imply x st z. 2) x st y and Fin(x) imply \\(\\forall z\\in x\\) (z st y). 3) x st y implies Su(x) and Su(y), where Su(x) means \\(\\exists^{st} X(x\\in X)\\). 4) Su(y) and Su(x) imply x st y. The author shows that this concept is useful. ``x is \\(\\tau\\)-infinitesimal (in symbols \\(x\\sim^{\\tau}0)''\\) is given by the statement: for any nonnegative standard function \\(\\phi\\) such that \\(\\tau\\in dom \\phi\\), \\(x<\\phi (\\tau)\\) holds. This concept is applied to a new interpretation of the double limit. Let f(x,y) be a standard function: \\(R^ 2\\to R\\) and A a standard number. Suppose that \\(\\lim_{y\\to 0}f(x,y)\\) exists for a neighbourhood of \\(x=0\\). Then  \\[  \\lim_{x\\to 0}\\lim_{y\\to 0}f(x,y)\\quad \\rightleftharpoons \\quad \\forall \\alpha \\sim 0\\quad \\forall \\beta \\sim^{\\alpha}0\\quad (f(\\alpha,\\beta)\\sim A).  \\]  Moreover, there are some applications to infinite natural numbers and topological spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$BD79D4B3-212D-4392-8E6D-D9193FA17E0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$8D57B28B-E252-457F-A0AA-1316C9B66892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$FE6611D6-DF6F-4C3C-9F75-A4E36676A565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8eb35d382f5b6d9dcc826b019084f76dc0bdc31","datavalue":{"value":"54J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$A52CDB0E-2DD2-4374-BA48-57A604E6EA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$373CD7E0-1724-4421-8FDC-E1A23952BC65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7b76de6dd3abc2d66c408f9431da69b498f3039","datavalue":{"value":"4142033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911590$FF76F853-005C-4CAC-BE94-AE9555407189","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3302d99bdcb4258ded26f8e56183c039166688d3","datavalue":{"value":"relative standard element","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$7DC3B686-F16C-48D3-8E27-504BD570AF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452daffbc0e9b5f609d47796ead6caac389b3c1c","datavalue":{"value":"internal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$E7D91EBB-4D80-48C8-9091-C9EADD823A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e474cdc67622659f9cd95f82b35357743b0cd49","datavalue":{"value":"double limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$B4A83285-7D73-4728-8E99-6DCFFDBBB5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6199b1231a134da37563f52b7d0613d5a18f2501","datavalue":{"value":"infinite natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$B5B3C60A-10DB-498B-9EFC-8AD3B15DBC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q911590$1424663E-18B1-4AFE-904E-5DE063A41390","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a4f64eed6c38ab79d72ad10f5d8c4a7deaa5235","datavalue":{"value":{"entity-type":"item","numeric-id":972549,"id":"Q972549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911590$BA2C412F-4939-4FBA-9118-C019C15C094C","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":"Q911590$025231AD-8CBD-4C4E-A68B-9BED78EC2D30","rank":"normal"}],"P223":[{"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":"Q911590$FF274B8D-4302-4157-97EC-D075312DA7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa183dd43eb5695f626296ee3584fe6b9a867c9","datavalue":{"value":{"entity-type":"item","numeric-id":3720602,"id":"Q3720602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911590$D6A7A5D4-7EF6-4A5D-AB0D-4E2C7A603669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d40ebf5fa6deb40869cd4bf6676b6e94747f09","datavalue":{"value":{"entity-type":"item","numeric-id":3713176,"id":"Q3713176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911590$975D2088-6035-4B6B-BBDE-892A95241D85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91b988b721de03a43d6219cfaeee43b27dae51b","datavalue":{"value":{"entity-type":"item","numeric-id":4729785,"id":"Q4729785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7fe059f2e581bf8c6a84f8d7a42be8ffcb1c3d","datavalue":{"value":{"amount":"+0.8037043809890747","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":"Q911590$B3FECD6A-397A-48FD-872B-1C5DEF8A1E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a84f13d8b419d6c3ac85ecb3b3cc60e75ceb76","datavalue":{"value":{"entity-type":"item","numeric-id":4729786,"id":"Q4729786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc001f85a156baaf790b53f8e8dfce8d2b57b09","datavalue":{"value":{"amount":"+0.8007628321647644","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":"Q911590$3CAA663E-6C03-41E1-9154-5DB67F2EFF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b6eba841f46ae56046a358c016480298b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3815298,"id":"Q3815298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ad0701b18ca4c0dd49cf58d26b791370b4a714","datavalue":{"value":{"amount":"+0.7939824461936951","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":"Q911590$88FBFCF6-BE25-483B-9374-930F8871A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edce05a20500dc13e48db55a14fc06e01b93dc31","datavalue":{"value":{"entity-type":"item","numeric-id":1802967,"id":"Q1802967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1254d22530a476654724e432a4683c7ca68698a","datavalue":{"value":{"amount":"+0.7923476099967957","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":"Q911590$A652001C-852F-46A8-AC9A-D3F6183C23BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345707dccfa49f88a9572a0de1d71ecab15cb11d","datavalue":{"value":{"entity-type":"item","numeric-id":3720602,"id":"Q3720602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54e7b9002c9eb8eb3ef36d29eebae2d896644ee","datavalue":{"value":{"amount":"+0.7911208868026733","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":"Q911590$1F168992-6DBD-4F52-8C23-D476A5215DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911590"}}}}}