{"entities":{"Q762058":{"pageid":763907,"ns":120,"title":"Item:Q762058","lastrevid":64138425,"modified":"2026-04-11T17:53:50Z","type":"item","id":"Q762058","labels":{"en":{"language":"en","value":"Models with second order properties. IV. A general method and eliminating diamonds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889509"}},"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":"Q762058$721D51BF-04B8-42CA-BC58-19878892414E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01a742c4dc0a3a4a85dc9a9bd6f9150ce0f1a2b4","datavalue":{"value":{"text":"Models with second order properties. IV. A general method and eliminating diamonds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762058$EDB9C80B-640F-4301-9D07-BEBA2C781A3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31338dd9e3ab657da0a4b1db9c4ba36a417c0d02","datavalue":{"value":"0558.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$92B58361-DDE2-4B42-9257-26E1267CFF5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c953b288b11ba5191315a4fe65dc98c20c5f53fc","datavalue":{"value":"10.1016/0168-0072(83)90013-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$6489BC91-8024-48F5-AC63-302CE5659FEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$8252D89C-E42D-4E05-8BD5-BE8B6319C50E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$427C0F59-C410-4315-97F5-87C8795089EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q762058$C52E6EE0-A9C4-4CBC-A1B9-EAE184A17046","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ece30916818c3fed99e8b1b0387b210ef7b14004","datavalue":{"value":"This article is a continuation of the author's previous papers under the same title [for part III see Arch. Math. Logik Grundlagenforsch. 21, 1-11 (1981; Zbl 0502.03016)] and contains some generalizations of the results presented there.    The author has invented a general method of building models of first order theories having some special second order properties. The model of power \\(\\lambda^+\\) is built up by an increasing chain of models of power \\(\\lambda\\) using forcing technique. For this construction the author uses the set-theoretic assertion \\((D1)_{\\lambda}\\) which follows e.g. from the \\(\\diamond_{\\lambda}\\) condition. The results are applied to the construction of rigid atomic Boolean algebras, trees and ordered fields. One of the resulting theorems says that (under a suitable set-theoretic assumption) there exists a rigid real-closed field being not a subfield of the reals, which gives the solution to the problem of Saltzman.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$BE9BEB5B-55EE-43A6-A535-6E5D5DC58147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$FE87CB28-150C-434F-B445-A5E6AEC4AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$4D3964DF-637A-4BFD-99CB-6D864DAFD99B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce872abedd986ceeef63c855592696edc772afaf","datavalue":{"value":"3889509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$E46E4A2C-41C1-4BB4-AF26-432ADDA85238","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$3C6B1043-A45F-400D-A404-CAA377EE91B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8fe2c89ffdb0ea97d8e2ed89aac00bc4e06c9b","datavalue":{"value":"rigid atomic Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$EAC38D59-7EFD-4330-A4D2-103DF6A29CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$483FBA11-8C5B-4930-A0C4-CD6B37E30A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206791fab73a28f2f1bd6065c608624f65a8c0a5","datavalue":{"value":"ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$61FBF94D-7937-454A-9117-B2BBFE021BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fdacfeff272077d4fbbae9b9680f45dfe98c063","datavalue":{"value":"real- closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$FBCDF4B2-CEB7-4BD5-89E5-F9BA038C8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8711d29579fe7e9970a113b66d6eb245a731e066","datavalue":{"value":"problem of Saltzman","type":"string"},"datatype":"string"},"type":"statement","id":"Q762058$F37268AD-02A2-4AF6-8740-43DB3862D261","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":"Q762058$768A5054-0F0F-4DE0-98B1-B3ACB0BE10DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d8842a01daa15e54d38328541fb3ebc3e23706d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90013-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q762058$1BFB44F8-5A4D-4B3C-A134-4C64E3523429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0303d544af8cac73db6a3e3501cc0617233c06bd","datavalue":{"value":"W2067360092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762058$4CD7DB3B-6E9A-4A79-B582-E9C3CB8E1ED6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa6ee02dbd7b8c78422aad960e7cde6e2cefe24","datavalue":{"value":{"entity-type":"item","numeric-id":3875907,"id":"Q3875907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$C769D9AF-EB14-48B7-87D8-A3C8E0A588F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ee5f48e8bb31a1fedb0282bdbb5a31d3693129","datavalue":{"value":{"entity-type":"item","numeric-id":5565095,"id":"Q5565095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$C6F00A84-0944-4F59-85AE-AB1D615D180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e599ebbbe948aa4cdfc5d45b4bf9cff37e13709d","datavalue":{"value":{"entity-type":"item","numeric-id":2266008,"id":"Q2266008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$1C42CDE6-DF51-4B1B-B48F-7F3FC0677E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$61893A9C-B337-4D5E-BE73-76B52B81B4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ebb66943c5c1b84802492bc318f882353c1e93","datavalue":{"value":{"entity-type":"item","numeric-id":4085723,"id":"Q4085723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$4D1F337A-4AD5-41C2-B70F-F97C8D52A31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff37959d2ba3493ab4b6a92e049ef953dffd5cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5573956,"id":"Q5573956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$2336EEB0-12AD-47BD-AA93-69AA66D81770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8baee2c87fc4a4060c91277ea6386c69eb55f1","datavalue":{"value":{"entity-type":"item","numeric-id":3889028,"id":"Q3889028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$CBEB7BCE-D3C2-4BC7-915F-EF53192AD722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5c0f7c75c3cf01129efc0239eba6c6c89ed649","datavalue":{"value":{"entity-type":"item","numeric-id":4163511,"id":"Q4163511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$8F6E0AD0-C463-46AA-B72B-CD0EE71B02F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$7DACF6D6-3C9A-46F5-9559-F9A6461EFB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edcb0283eff021717f74372fe7d19b39b0dc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3967520,"id":"Q3967520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$35698011-75B9-44FA-997C-A317599F67CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091a6070dce18606e4425f6fb6ddf13c644c5907","datavalue":{"value":{"entity-type":"item","numeric-id":1158148,"id":"Q1158148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$D83AF3A8-E7BB-430C-BCD2-7090A6426068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$A29278D2-E0C7-47EC-90EE-4C2CD5AD03AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b27010d6bbdc50b1057415a855e722276e3e07b","datavalue":{"value":{"entity-type":"item","numeric-id":800910,"id":"Q800910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$2DD102E9-9940-4FEA-98FE-ACB8D9CBC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef289b917a565b3292b9c57084a93e31ed23b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$ECEA6F70-E1BE-40CA-835B-B23F462FE193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8e87447009955dfb22d5c75cb5cfe210c5e371","datavalue":{"value":{"entity-type":"item","numeric-id":1050337,"id":"Q1050337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$43E707E6-1484-4105-9666-6B79CE0A44DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762058$9F3BDA4B-39B4-4E32-8801-F04CC430C380","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61b482c3e2b0d4df77980d8cacf5d7e3e302af2","datavalue":{"value":{"entity-type":"item","numeric-id":688436,"id":"Q688436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315696a42da43cc71e6856b2454d5c5354c2906","datavalue":{"value":{"amount":"+0.7343159914016724","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":"Q762058$19F84033-93F8-4BC8-9D46-FC7AD0EBC0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8803952eaba19cb495656e95bfa16f7f476c4385","datavalue":{"value":{"entity-type":"item","numeric-id":2640593,"id":"Q2640593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d95c20d1bf8144bba87f9c1c6ad300eaee29a32","datavalue":{"value":{"amount":"+0.7333951592445374","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":"Q762058$E69CA57C-5DCE-436A-9A9D-A5EB451AC732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095907e84d9357f22e4dcde96cc20f693e3a57e8","datavalue":{"value":{"entity-type":"item","numeric-id":4283064,"id":"Q4283064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a69c3a27d0bea9d9f0c71a7793a6e43cb8aee5","datavalue":{"value":{"amount":"+0.7041686773300171","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":"Q762058$B28F69DD-2969-4BC7-8553-78D281C5D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6926a7d3edbc867611d2c3493e95d80b0e8284dd","datavalue":{"value":{"entity-type":"item","numeric-id":584248,"id":"Q584248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efcb5e2aaaf06e0ef0ce0d2cc4c5b83d03f1773","datavalue":{"value":{"amount":"+0.7032930850982666","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":"Q762058$C66B1DCA-3542-4F3E-A288-EA1284B14E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedfb0f066d42c71a804be702872ffd6ca95f949","datavalue":{"value":{"entity-type":"item","numeric-id":1238807,"id":"Q1238807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2356149749f35144c92f0acae0c4e82cee9671ca","datavalue":{"value":{"amount":"+0.6996926665306091","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":"Q762058$ED6BB88B-854B-4360-9482-1F8ACB0DBB88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models with second order properties. IV. A general method and eliminating diamonds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_with_second_order_properties._IV._A_general_method_and_eliminating_diamonds"}}}}}