{"entities":{"Q1337152":{"pageid":1347891,"ns":120,"title":"Item:Q1337152","lastrevid":43041244,"modified":"2025-07-17T04:02:19Z","type":"item","id":"Q1337152","labels":{"en":{"language":"en","value":"Robinson lattices and their spectra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 679603"}},"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":"Q1337152$8CE49F1B-8F5E-4D03-B214-D014E47A4E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efdc7762fb5981ebc7022c559fc29f0ab22f0adc","datavalue":{"value":{"text":"Robinson lattices and their spectra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337152$A8413E19-04B1-4141-9FD6-898BED09582A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1264beaa20683a4d10abd93ade4116c5c7a4abb","datavalue":{"value":"0817.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337152$D222D837-A3B8-4513-ABAE-54D9A5414A13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d6156303bb3197fb6d518cc7cb1f0a9638cde57","datavalue":{"value":"10.1007/BF01191539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337152$509E1B4E-493D-4627-8E16-5CC425B04AF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$1CECAB5C-885A-4D7F-BC8A-2CAF819CF3D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$D0F93CFC-15A9-4370-905B-23B8FF6D5845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2ec3281f9c57212345943bc79834cc395cbf387","datavalue":{"value":{"time":"+1994-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337152$AE047EA2-4AEE-4AA0-AAD6-DE22B898EABF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2b5a603fcfbc97c2f7a50e396e4345c688207a8","datavalue":{"value":"The author continues his study [cf. the author, \\textit{M. Insall} and \\textit{K. Kaiser}, Z. Math. Logik Grundlagen Math. 36, No. 2, 123-131 (1990; Zbl 0711.03031)] of the Robinson-lattices (i.e. R-lattices). R-lattices are specialized distributive lattices \\(D\\). Since the lattices \\(D\\) are locally finite, using Robinson-styled nonstandard analysis appears very natural due to the fact that any standard set is contained in a hyperfinite set, assuming that the nonstandard structure is an enlargement. This fact allows for the generation of a hyperfinite lattice \\(D_ \\nu\\) such that \\(D\\subset D_ \\nu\\subset {^* D}\\). Further, the use of nonstandard models appears very important in obtaining various standard characterizations and properties for such lattices. As examples, the author shows that for such lattice \\(D\\) is an R-lattice iff each non- minimal prime filter is isolated in the strong topology. Every non- minimal prime filter of an R-lattice is principal. \\(D\\) is an R-lattice iff, for each non-minimal prime filter \\(\\rho\\) of \\(D\\), there are elements \\(x, y\\in D\\) such that \\(\\rho= [x)\\), \\((x]\\backslash \\{x\\}= (y]\\). Numerously many other interesting results are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$9542FA18-1254-4413-8D1C-DD80C156A4C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337152$CAAE99B5-4208-4737-82BC-50F916F36D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337152$1DFDB89F-44D4-413F-BCFA-C2000558077D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c5eb2775750919fc9220162d414def6237acf32","datavalue":{"value":"679603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337152$69F8F905-28BD-4E6E-B68B-E144C8615834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3d309df9a07c88d7333c2aaaa407dd531b43fcf","datavalue":{"value":"locally finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$4C839FE5-1BDA-4F8D-91BC-05C96AA55916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66e4e7d91c2188eb729ac5816654e1266c4222a","datavalue":{"value":"Robinson-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$9A5B1B65-40EF-44C7-90EF-EBBB795AAFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$C686C8D4-63AE-4055-B783-8852D5F1830D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf0692de52699105c6e6656b28994e42ae2a37e","datavalue":{"value":"hyperfinite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$E4AD90FE-9363-4B8E-95B4-3E6E48B00F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28fa714e3ba0d21f81f321ee88d5cec91264cb3c","datavalue":{"value":"hyperfinite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$45CE8E66-28D8-4790-8655-3A398E1F98EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$61222370-B158-4F9D-A276-9405AB5968AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337152$20FFE41D-8E75-4658-BB13-86CD1B5AD0EE","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":"Q1337152$83670658-17F0-4319-BAB2-403E96022553","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$9EA0D229-5205-4E3F-9E26-15CC770B9B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea38ec6410651806f9fb781e45cf7414e0584bd","datavalue":{"value":{"entity-type":"item","numeric-id":5575589,"id":"Q5575589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$63AE5004-BFF3-4183-8634-E50866E74871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd8eab6f4a81093c465b2d995e0ca6930653aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1846889,"id":"Q1846889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$D5F6B67F-D796-4320-A2D8-7FDF6AFBC3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ac7e273b510bbc41854d8196f65a79390d6be0","datavalue":{"value":{"entity-type":"item","numeric-id":3760586,"id":"Q3760586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$EFF08A0D-86F0-484A-9E6B-59436BCDB109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4ff33905eb2322512611f8e5cfee562520b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3495354,"id":"Q3495354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$4BE78F05-2FD7-4548-8E37-0B785054656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$88F6AC77-001E-4720-936F-983FF2186774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$FCF1197F-77B3-422A-888F-FC3F53D005FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c99bb90ae4b95253175aca72f713646f79b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2625366,"id":"Q2625366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$897DCD78-5565-4D09-B75A-CECBBEF15457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$4D2A1BB2-5D4F-4EA1-8B66-4BD511297C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae16bfc46a1b9ace0281e2623d5182d34421a0c","datavalue":{"value":{"entity-type":"item","numeric-id":2555507,"id":"Q2555507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337152$B3438B0D-BA5B-4B3E-8CA1-AA037319EB12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8135e01b8df2d4f6a9f779a1f11284b508adc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3495354,"id":"Q3495354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3cd3332a68686c095083d6344487a00a7b3c75","datavalue":{"value":{"amount":"+0.7178984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$927753C6-080D-4251-BC9E-C903F29E1F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1112a6b030f15ae739bec722236beaa2a5bc975d","datavalue":{"value":{"entity-type":"item","numeric-id":4022834,"id":"Q4022834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4454909bbbf8fa67241f52d4b4a67497856eb356","datavalue":{"value":{"amount":"+0.6990913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$7637D1BD-4E0F-4DF7-9CEA-1EB92A65777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd065f42c576422b216c1c2db6f0b20886020798","datavalue":{"value":{"entity-type":"item","numeric-id":4793764,"id":"Q4793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffb2208f452a5e99705f92fe4613f0b3305993b","datavalue":{"value":{"amount":"+0.6757761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$EF3487E5-0266-4BB9-939D-55F3E79866B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513d3cc464019ed12cee3b32e01fd3122498025e","datavalue":{"value":{"entity-type":"item","numeric-id":1894556,"id":"Q1894556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0a08265e09e1f765c3ab115df4ee4cc99374ae","datavalue":{"value":{"amount":"+0.6703432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$02220F4B-093E-47A2-B355-02BE9AFE7DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48113286f7497f92a17cd58a74a19b1deff7e05","datavalue":{"value":{"entity-type":"item","numeric-id":3405102,"id":"Q3405102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5900b0c7960b8e8035cc4f66cee869ed7a983d6d","datavalue":{"value":{"amount":"+0.6669941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$4B4A23EE-2E36-4620-B79E-A0A73FA611C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0cf95e13e9e9867cafe111a082f38f37182026","datavalue":{"value":{"entity-type":"item","numeric-id":1346386,"id":"Q1346386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c78055af96a9859a12354674ce05bafac0e51e","datavalue":{"value":{"amount":"+0.66563123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$70156646-61DF-4CA0-9751-0B0572448807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace24be04720f98c33ac035b7e92ae068554c65f","datavalue":{"value":{"entity-type":"item","numeric-id":788716,"id":"Q788716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9865f27b1f9ce0b032ace102a926f144889c94e1","datavalue":{"value":{"amount":"+0.6613221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$87CC5536-D1DF-409B-99F6-4290DD0BDC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f5d6212fb7076565a202a48f4361e948b82664","datavalue":{"value":{"entity-type":"item","numeric-id":1239175,"id":"Q1239175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b1a9ee45c2873a6ca257ad06cc426ea50f83b2","datavalue":{"value":{"amount":"+0.6591947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$B233B1E1-C95C-4BE1-9927-51674C71A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b584cfceec66b294d8d40eec072c8d152b0e3cac","datavalue":{"value":{"entity-type":"item","numeric-id":5168119,"id":"Q5168119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8297c03306ae982454b98ee14dd461c743aa438","datavalue":{"value":{"amount":"+0.6564925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$1AFA958B-EEDC-4A19-A4A3-662FCCDB2C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54630eee79bb012f7799ef051e7749353a4b2383","datavalue":{"value":{"entity-type":"item","numeric-id":5027242,"id":"Q5027242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3e76883698bb7c6770e0babdb631c36fd846ab","datavalue":{"value":{"amount":"+0.65611994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337152$875CF57F-8023-413C-9D50-58B05AE1AA16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1337152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1337152"}}}}}