{"entities":{"Q404712":{"pageid":406479,"ns":120,"title":"Item:Q404712","lastrevid":61594491,"modified":"2026-04-11T00:21:39Z","type":"item","id":"Q404712","labels":{"en":{"language":"en","value":"On \\(\\Sigma\\)-rigid presentations of the real order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6339886"}},"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":"Q404712$F315BDB5-202C-46C2-8751-E69B05A92EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de067bdba79f41ba230edaddfa63d168856ca252","datavalue":{"value":{"text":"On \\(\\Sigma\\)-rigid presentations of the real order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q404712$E36CBE0F-0D53-48FA-BA90-2D7BD8764408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65c455441b9a45575877d059dbb2c4a3386fc68b","datavalue":{"value":"1314.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$168B5E64-49D7-4DA3-9545-34C8D40BE1AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"318d62492d5771fecfccb0ea3503f574ec2acf88","datavalue":{"value":"10.1134/S0037446614030070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$74E144AE-A33E-4FC6-B7A5-3EBDD3C9C29E","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":"Q404712$DCB46693-7471-4C6E-901C-F0EEEE7956D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q404712$D720E883-C373-4461-98E1-9E575E2D8972","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bd3f7456859d2259141364e5328715de8a0b32e","datavalue":{"value":"In the paper under review, the author studies \\(\\Sigma\\)-presentations with parameters of structures over the hereditarily finite substructure \\(\\mathrm {HF} (\\mathbb R)\\) over the ordered field \\(\\langle \\mathbb R,<\\rangle\\) of real numbers. The existence and effective infiniteness of the class of the linear orders on \\(\\mathbb R\\) of type \\(\\langle \\mathbb R,<\\rangle\\) which are \\(\\Sigma\\)-definable over \\(\\mathrm {HF} (\\mathbb R)\\) with arbitrary tuples of real parameters \\(\\bar{p}\\) is proved. It is also proved that these linear orders have no nontrivial \\(\\Sigma\\)-definable self-embeddings with parameters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$8AD2F12C-2911-4DA2-B3F4-8ED125D0F53A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$6474B34D-4529-48E6-8AEA-9455DB0DC67E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$D1B04EAB-360B-463F-AA1E-071876134E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$C2960B03-13BB-4A1D-A4FD-8B4E55C9E723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$1BCE25B7-A5EE-476D-BC8F-88A00D80354D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"063cf7c662a19a2273a21ec8caba93a1bb22b8dc","datavalue":{"value":"6339886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$8CB80F40-4DD4-4D7A-A857-62BBB14F6FA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$EAC4F702-EBF2-42DF-92F6-E12A047ECC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$D509970A-809B-467A-8BB4-965854A68998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$DA0567DF-3BD5-4A79-8418-599A6303503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543edc3fb370371a8d9b05610ff7ab083c69c9d7","datavalue":{"value":"\\(\\Sigma\\)-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$58B9E5E1-6194-45FE-9FBE-3F576B58C365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8650da3811e09296b657389910ebaf7aa21fbaf0","datavalue":{"value":"\\(\\Sigma\\)-presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q404712$DC94609B-70B7-42C1-967A-B67939236428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$C57D1BDE-BAC7-4A5F-888D-1C45A63B419F","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":"Q404712$A6635DB9-216C-416B-81AE-54DB62C33B6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$DEFE8BA7-592E-4426-B0BB-08929DD724B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eacb5479bd41aaa126572a8c837cd47787d73f61","datavalue":{"value":{"entity-type":"item","numeric-id":4249360,"id":"Q4249360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$E9D912EC-6CD5-43DF-BC2C-445E61899955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6208a70740240f779b540dde18b1eb06a81dee","datavalue":{"value":{"entity-type":"item","numeric-id":2906566,"id":"Q2906566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$D0A7ED91-6425-4750-B506-5BB5B58F2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332c02269fe70248e6d4203e6bdb2d9a7cd9241d","datavalue":{"value":{"entity-type":"item","numeric-id":694238,"id":"Q694238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$AFB6D3B9-22FF-4264-8677-3E54D245F8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c56847fd3b34dcfa9b4594d65da765d6f2a16d","datavalue":{"value":{"entity-type":"item","numeric-id":467668,"id":"Q467668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$F0657A1D-4E4B-4C7F-B6A0-EE4B34FF2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b9a1e9e520814ef399a357204548712c32a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":404712,"id":"Q404712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$7B2EAB66-F1EC-4F0A-94B0-43270191097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96df3df16f664736beb562bfd247a0867ba9b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4882531,"id":"Q4882531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$816C1A93-8E9C-4B6B-AB0F-3B7A75677B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$F224DD53-348D-44CE-8B95-1BBFA870B722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404712$1F13971A-0F43-47B3-81A1-D77743536E12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"399a611a9e01ed390b304ef6f21b18130baa2422","datavalue":{"value":"https://doi.org/10.1134/s0037446614030070","type":"string"},"datatype":"url"},"type":"statement","id":"Q404712$6029AE40-3463-47E6-ACEE-9246B1BF71EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64fc2f3d65edf1f9ae2c785b022de903c422d143","datavalue":{"value":"W2066130212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404712$97D417C4-1ACE-4557-AB7B-9D733BACFC6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0447cd1654452257a074842845e975bc96b845a1","datavalue":{"value":{"entity-type":"item","numeric-id":2342315,"id":"Q2342315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f1597b0e1b7e98104938e2196831099c6d0862","datavalue":{"value":{"amount":"+0.8578197956085205","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":"Q404712$263318FE-0150-4903-B1C5-A503D75D61D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe1a07be8e9af448622359afe1bcdc472a19cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2300935,"id":"Q2300935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc3fe9011a6254c7f245ada6fb956307bc022a6","datavalue":{"value":{"amount":"+0.8140149116516113","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":"Q404712$B20DB6DE-413A-46E5-AB46-501EAC184861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e070dff9ef4284d013ca3dcf7ded39fed66ee46e","datavalue":{"value":{"entity-type":"item","numeric-id":694238,"id":"Q694238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb559499f139d2801bc73fda39dde9d18feefc9","datavalue":{"value":{"amount":"+0.8137654066085815","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":"Q404712$30E1502E-468A-4A85-B655-8ECBD0D59031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da889fbcc4d10e6acf1f45f5e908a8ec1b8b1dc","datavalue":{"value":{"entity-type":"item","numeric-id":695771,"id":"Q695771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0821d612711c3e859b4f59fee171f8d438a7e863","datavalue":{"value":{"amount":"+0.770651638507843","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":"Q404712$5E1BA7B1-8393-4B92-8612-EEDAA435BFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c345e30933fc9ff138eb985e2c28dbf392e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":4982458,"id":"Q4982458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218f30a4f7923a627df502b700ac9dcd3cfd36cb","datavalue":{"value":{"amount":"+0.7574048638343811","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":"Q404712$CF3E9C2F-B41E-4FB3-9552-242472D5ABC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(\\Sigma\\)-rigid presentations of the real order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_%5C(%5CSigma%5C)-rigid_presentations_of_the_real_order"}}}}}