{"entities":{"Q1069964":{"pageid":1080716,"ns":120,"title":"Item:Q1069964","lastrevid":66212619,"modified":"2026-04-12T08:18:08Z","type":"item","id":"Q1069964","labels":{"en":{"language":"en","value":"On a theorem of Fraenkel, Levitt and Shimshoni"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933143"}},"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":"Q1069964$FA7FDAC1-670B-49B1-ABD9-80EF0FC8D1AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cacd4d658b305b05b912c063009b3aae2f30487","datavalue":{"value":{"text":"On a theorem of Fraenkel, Levitt and Shimshoni","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1069964$2CEBD379-9F2D-41D1-8DB2-F8C15A4E50FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110d6fbde6fd9306eecfd2b2b63676e6eddee206","datavalue":{"value":"0583.10002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$BDE5FC96-D16A-43C4-80C7-B3BD452C4467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b426833bc120768c2e85ca1362cb4eb9201d999d","datavalue":{"value":"10.1016/0012-365X(85)90194-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$E1DBB9CE-12A8-4F29-B7CB-93C8D1608763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$CF9A2216-E97B-4DB1-A93B-45596CA61BE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1069964$3B92EF24-69F3-465C-8BEB-2BDE5717B307","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d5036cdc643fafb7ea05ddd64a3e2f6b8c822e3","datavalue":{"value":"Let \\(\\alpha\\) \\(\\not\\in {\\mathbb{Q}}\\), \\(\\alpha >1\\). In 1972, \\textit{A. S. Fraenkel}, \\textit{J. Levitt} and \\textit{M. Shimshoni}, ibid. 2, 335-345 (1972; Zbl 0246.10005)] gave a characterization of the positive integers \\(K\\) which occur in the sequence [n\\(\\alpha\\) ], \\(n=1,2,\\ldots \\). Their criterion uses the expansion of \\(K\\) with respect to the numerators of the convergents of the regular continued fraction for 1/\\(\\alpha\\). Here a simpler criterion is given, viz.: \\(K\\) is contained in the sequence [n\\(\\alpha\\) ], \\(n=1,2,..\\). if and only if \\(1-1/\\alpha <\\{K\\alpha \\}\\). The proof is extremely short and simple.    The author uses his theorem to prove the result of Fraenkel, Levitt and Shimshoni and also to prove a result of Beatty from 1926 which states that every natural number occurs once either in the sequence [n\\(\\alpha\\) ], \\(n=1,2,..\\). or in the sequence \\([n\\alpha /(\\alpha -1)],\\) \\(n=1,2,\\ldots \\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069964$1D7871F6-F180-436B-AABC-96B2CD2B2BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$13BFF1B9-1F6C-4C60-81FE-AA51E9AC1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"223fe586607c60b0738504f3419a7d40d2a118fe","datavalue":{"value":"11A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$27757A4E-B9C2-4A3E-8E00-38A08D859E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$2ED5171D-EFEF-4DA3-B58F-F31A8D71BA50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bdfb74f254880e4ec496bbbd6266c8c5f7667a8","datavalue":{"value":"3933143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$78C16C86-7962-4321-941D-80F75460F7BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd1146ed84ee4f5d7f9594d53fb83bb210448d","datavalue":{"value":"characterization of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069964$F26C802E-6543-4979-A465-F04BC6A5D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b34a651a0711e305ed23d2516fc43fc639241b7","datavalue":{"value":"greatest integer function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069964$698EE4D8-A168-4EC7-9C96-470440435568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe429f23d1e4d56df51dcaa04b3fcc0c4ea6848","datavalue":{"value":"fractional part","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069964$3DD55764-055F-4101-8647-FFD0C61336AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4333b6bdc88915417e721d53024f212d45fd4cc1","datavalue":{"value":"continued fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069964$CD262DB9-1F4C-4F00-A231-F03D2E83F99E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1ce6f978420df544018351a3116c5b4bbb7430d","datavalue":{"value":{"entity-type":"item","numeric-id":689795,"id":"Q689795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$5E2DA2E4-3DC3-42EF-B140-4FDC2282A40D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1add0a24c13c1c8839703f8fba767e96bc55e3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1340676,"id":"Q1340676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$C4088FA8-B47C-44F3-A078-EE37602D3669","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":"Q1069964$BB19549A-C0BF-4F27-A73E-E68F97605E7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82731151d8ae69a4dc2100e2f23517f3f13fb088","datavalue":{"value":{"entity-type":"item","numeric-id":2555512,"id":"Q2555512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$244B079A-BEC3-459D-A850-A0D6DF6DF2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b77797660d2085b29f884e013836143e5ad447","datavalue":{"value":{"entity-type":"item","numeric-id":4172109,"id":"Q4172109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$BDD0E0F1-64F0-4AB3-B91A-83D7B0C5B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f3108dcb281c6f81af2792aeadc554fdde5fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5646951,"id":"Q5646951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069964$3AB1A007-23A9-4D8D-9E76-B127C21719DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e457920d8455f661ad40384d37b6afb1d6f0b70","datavalue":{"value":"https://doi.org/10.1016/0012-365x(85)90194-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1069964$1B2EF22F-6C52-400F-AB92-897C777D4C4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b50c893800e2c1ad1886be9de41c957adb01bf8c","datavalue":{"value":"W2045075748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069964$7AB39A99-F94B-4B23-B3D5-223348346F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98d6cb6f8567194987d3d1980a5230fb4a60693","datavalue":{"value":{"entity-type":"item","numeric-id":4430617,"id":"Q4430617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a3e75071dafc0427b2ed1f07bb7152177a001b","datavalue":{"value":{"amount":"+0.7942173480987549","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":"Q1069964$BC9E2053-5859-41E0-BD9B-5E0D0AEB9073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523a411cf4f989ee2cc9d4a49b0e008c4bb8bbf3","datavalue":{"value":{"entity-type":"item","numeric-id":2782155,"id":"Q2782155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd842bd9cb44299df3bf880313989b916b6a9243","datavalue":{"value":{"amount":"+0.7582764625549316","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":"Q1069964$D2FCCB3A-511C-44BB-A121-25DAA07DE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"127a1b97cdf86e160e90ace30b8ed1e1cc58071a","datavalue":{"value":{"entity-type":"item","numeric-id":1803890,"id":"Q1803890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4147f7c6d52e3882f43977b4f3dcf8d2f706631b","datavalue":{"value":{"amount":"+0.7581104636192322","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":"Q1069964$F295D692-5C0C-4178-BAEE-0EE08A2AA418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaf5ab8caa45d9647337920ed811be51e3f5caf","datavalue":{"value":{"entity-type":"item","numeric-id":2883390,"id":"Q2883390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0efdce0edb9c1e3447a2e55a86866be77a6a20","datavalue":{"value":{"amount":"+0.7498551607131958","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":"Q1069964$61D8C88F-20A2-4081-858A-0D823F44A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb9c4f1435aac612884d7682cea69ec2610f6db","datavalue":{"value":{"entity-type":"item","numeric-id":1433040,"id":"Q1433040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a2c4ad5c2ca23c8baa84275c34ea1f8dd8c0ec","datavalue":{"value":{"amount":"+0.7477644085884094","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":"Q1069964$92EF9A2F-750D-4A21-80D7-B05A60CC8E94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a theorem of Fraenkel, Levitt and Shimshoni","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_theorem_of_Fraenkel,_Levitt_and_Shimshoni"}}}}}