{"entities":{"Q582291":{"pageid":584058,"ns":120,"title":"Item:Q582291","lastrevid":49342171,"modified":"2026-01-07T00:09:26Z","type":"item","id":"Q582291","labels":{"en":{"language":"en","value":"Some observations on intuitionistically elementary properties of linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130381"}},"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":"Q582291$F696CB9D-FC88-4020-805E-465B4CC5130A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92af84aa6db063962fe089d6db30016d4ae84d52","datavalue":{"value":{"text":"Some observations on intuitionistically elementary properties of linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582291$7D393ABB-67F6-4FE0-A33B-6AAC33D33BC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2619b4f21b4a2a6655cb827f88cd2d6974bbc19","datavalue":{"value":"0691.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582291$049C702F-923A-4C31-947B-7E501688C117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7916790b9df8e2e8d6b780ab1d6e18bf7ff3b22","datavalue":{"value":"10.1007/BF01621093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582291$03E4B38D-C9F1-482D-9EEB-C5BDEBA65A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582291$F6264ABC-CB6B-48AF-85B7-CD79BA0E0976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a6a8441da87c674367c80fa96b3841ec3ea895","datavalue":{"value":{"entity-type":"item","numeric-id":582290,"id":"Q582290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582291$234E618D-9E97-4C2B-A42B-6E7BB5DB8C9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582291$0DB38EA9-8A87-44DB-9B76-0327E0E0DBD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q582291$5099A164-AB7D-4D18-9E75-FA53AE38A602","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78ac9478160e379c59efef4c47b91a0485571d1d","datavalue":{"value":"The paper is about intuitionistic order structures of similarity type \\(<R^ n,<_ n>\\), where R is the intuitionistic continuum, \\(<_ 1=<\\) intuitionistic (linear) order and \\(<_ n\\) for \\(n>1\\) its lexicographic extension. Two such structures are intuitionistically elementary equivalent (IEE) if they have the same true first order sentences, and one is an intuitionistic elementary substructure (IES) of a second one if the set of the first is a subset of that of the second, and for every first order formula \\(\\phi\\) any instance \\(\\phi [a_ 1,...,a_ n]\\) is true in the first if and only if it is true in the second. Two subsets X and Y of R are IEE if their order structures are IEE, and order- elementary different (IED) if there is a first order sentence which is true in one and not in the other. It is shown that the non-isomorphic structures \\(<(0,1)(1,2),<>\\) and \\(<(0,2),<>\\) are order-IEE. There is a sequence of sentences \\(\\phi_ n\\) and a function A assigning subsets A(\\(\\alpha)\\) of R to elements \\(\\alpha\\) of the binary spread \\(^{\\omega}2\\) such that all A(\\(\\alpha)\\) are dense in R, \\(\\neg \\phi_ n\\) holds in \\(<A(\\alpha),<>\\) if \\(\\alpha (n)=0\\), and \\(\\phi_ n\\) holds in \\(<A(\\alpha),<>\\) if \\(\\alpha (n)=1\\). From this it can be deduced that there is an uncountable collection of subsets of the rationals which are mutually order-IED. A similar result holds for the lexicographical extensions: for all m and n such that \\(0<m<n\\) there is a sentence \\(\\phi\\) such that \\(\\phi\\) is true in \\(<R^ m,<_ m>\\), while \\(\\neg \\phi\\) is true in \\(<R^ n,<_ n>\\). This result is extended from \\(R^ n\\) to \\(R^{\\lambda}\\), where \\(\\lambda \\in \\omega^{\\omega}\\), the ordered set of polynomials \\(\\omega^{m_ 1}\\cdot n_ 1+...+\\omega^{m_ k}\\cdot n_ k\\). It also can be proved that for \\(0<\\lambda <\\mu\\) in \\(\\omega^{\\omega}\\) the structures \\(<2^{\\lambda},<_{\\lambda}>\\) and \\(<2^{\\mu},<_{\\mu}>\\) are IED.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582291$606750F2-3616-4698-A850-7BEA84137A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582291$9C46ED05-5F85-4594-B84E-09E91C7E62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582291$DB292C89-4CDC-450C-8908-1B5023CAA276","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec6c50ced4a6d8ffd72dd9441d1f1aa7482c632","datavalue":{"value":"4130381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582291$A7294DA1-6D41-4A20-8534-FA7910E3F786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3aa90eaaf87477c625d24e15e7772c47f7a4fd9","datavalue":{"value":"intuitionistic order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q582291$3FE5CAF0-D19C-4EE7-826A-016E2B5632C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bbbdad91c1b472ee33932d53c5ae639e2b2c9e","datavalue":{"value":"intuitionistically elementary equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q582291$F93A6E67-010C-4721-AEDC-8E31618E12D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9a3faa029f21a24e2d776663c27a56f5a51a2c","datavalue":{"value":"intuitionistic elementary substructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q582291$1DC329E9-9037-4DD0-B560-CCA4D4607B22","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c8f905a9fbcdf869078c73fd37f10918c0aa052","datavalue":{"value":{"entity-type":"item","numeric-id":2538515,"id":"Q2538515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582291$A6E003A2-2C01-4758-AE83-F504CBE56389","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":"Q582291$0B4EB14A-DA05-4902-B359-BEA7A92331E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582291$D1FC286A-545F-42B8-963A-8212AD55A74E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b4ba391765e40de771a12e2031f4daeb3b0abf","datavalue":{"value":{"amount":"+0.8248001337051392","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":"Q582291$76330A9E-DFE6-4F4B-8B50-994BF656E22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585cc5ece9ce481425a23c97008e60b843ef6ace","datavalue":{"value":{"entity-type":"item","numeric-id":5413358,"id":"Q5413358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b4ba391765e40de771a12e2031f4daeb3b0abf","datavalue":{"value":{"amount":"+0.8248001337051392","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":"Q582291$3D74DD41-65C4-4173-899F-CB2F8C923C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cd03c6cdc3f80f20449ce208f61e04b6b8f342","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03627c056932c106f2efc8ea6b3cfe7fb23d960","datavalue":{"value":{"amount":"+0.8086914420127869","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":"Q582291$CADA81C0-8B9C-4D30-9C2B-6231BB63B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abe6c74a3ac529fabc161bdc98be90bdab2c2fe","datavalue":{"value":{"amount":"+0.7924640774726868","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":"Q582291$844ECF52-8FE5-49F9-BDB6-2E20F4DD0158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e39190652f45dccba3b55cbc2f44cfffa6ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5436704,"id":"Q5436704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655d7287d23da1971bfaeb83ac1c352cc719f41e","datavalue":{"value":{"amount":"+0.7222946882247925","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":"Q582291$E4676E55-6FBB-49D2-9C1A-F28748C2CBEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:582291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:582291"}}}}}