{"entities":{"Q787963":{"pageid":789811,"ns":120,"title":"Item:Q787963","lastrevid":48670204,"modified":"2026-01-05T13:49:21Z","type":"item","id":"Q787963","labels":{"en":{"language":"en","value":"\\(\\omega\\)-satisfiability, \\(\\omega\\)-consistency property, and the downward L\u00f6wenheim Skolem theorem for \\(L_{\\kappa,\\kappa}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841830"}},"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":"Q787963$6B39FD02-3968-412C-8909-D358099BB3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e911558352c8498f61f1fb7db99c5ecd613acf0","datavalue":{"value":{"text":"\\(\\omega\\)-satisfiability, \\(\\omega\\)-consistency property, and the downward L\u00f6wenheim Skolem theorem for \\(L_{\\kappa,\\kappa}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787963$0C8FF15C-6FA6-4341-B3AB-08B192597BE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1efdf86c7f114df68f3c98f4e917fc5e47b01852","datavalue":{"value":"0531.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787963$4335DCE3-1686-4CD7-A433-AE70BFDBBF88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"823d47f9efbf6f3be440409eb6575fb02df1512e","datavalue":{"value":{"entity-type":"item","numeric-id":582285,"id":"Q582285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$7CDCBBD8-1F30-4DD4-B92C-2A555038A828","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$EB80714B-41A6-43C1-9862-E51DF62EDFDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q787963$9862294D-B699-47DE-9188-8FBBF07EA3F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"865572cfd1aad3c4811a4ece9249cbc794d041d0","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1982__66__7_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q787963$04BA8BC9-7047-426C-BEA2-136A7180B767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6fb4ee2e42c292a2f8e1a3e18b7860ecd1f62b5","datavalue":{"value":"https://eudml.org/doc/107847","type":"string"},"datatype":"url"},"type":"statement","id":"Q787963$2D4B9F6A-9376-4F63-91DF-7D5157354A90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50969ecec83b843e21d29164cf032f4e56faea6b","datavalue":{"value":"The paper concerns \\(L_{\\kappa \\kappa}\\) for strong limit cardinals \\(\\kappa\\) of cofinality \\(\\omega\\). A new version of the notion of a consistency property, that of \\(\\omega\\)-consistency property is introduced. This version has the advantage that sets of sentences in \\(\\omega\\)-consistency properties are \\(\\omega\\)-satisfiable and that every \\(\\omega\\)-satisfiable set of sentences is in an \\(\\omega\\)-consistency property. The paper is connected with earlier work by Karp and Cunningham on chain models. In contrast with earlier versions, Ferro does not need the downward L\u00f6wenheim-Skolem Theorem as a tool, but is able to obtain a downward L\u00f6wenheim-Skolem Theorem (for \\(\\omega\\)-chains of models) as a corollary to the basic properties of \\(\\omega\\)-consistency properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$2E8AA983-749B-4B43-932D-1E1AF3A7EB7E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"273ff2281deaea782312583469770a322c2c906f","datavalue":{"value":{"entity-type":"item","numeric-id":593641,"id":"Q593641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$4466A113-F43E-4978-8417-2F67B33E9B04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787963$09AA6D5B-4FEE-48E5-8B2D-F18C0CB28C52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a78f507b45d59ca69a262e19a8cef24e7aef0e7b","datavalue":{"value":"3841830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787963$EDA7C3D2-04AF-4B31-8581-E0ED2F8FD7B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$1229047B-BF8E-47C2-AC13-3234D05595F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2473facee48214a0e1da3210a4ed74c04800b2e","datavalue":{"value":"omega-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$909550CB-B3E0-4B91-8079-0685D7C1A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8801c3155fe79e4f84297841959145776aa767b","datavalue":{"value":"omega-chains of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$93C621CF-772B-4E46-9DDE-A2BB5C847442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cb8bbf2dd3c312980d93498f9033cad6fec01b","datavalue":{"value":"consistency property","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$91094CBD-69CF-44DF-925C-5530B835D4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0bdd6a9a1bc7f3ca11c4023d4e41e26cbbf2ce","datavalue":{"value":"chain models","type":"string"},"datatype":"string"},"type":"statement","id":"Q787963$0A3CA1BB-BEF8-4AA0-8BFE-17625633791A","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":"Q787963$3EB33E3C-837B-436E-85DF-C4F73287743A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22999c84a2c9ac2a840b497671a09b23fd8d987d","datavalue":{"value":{"entity-type":"item","numeric-id":1241504,"id":"Q1241504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$4A581DC3-E687-4CF9-B23A-870DE4080BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cc35425cbd9bda06c3783ad0dbc890397a9384","datavalue":{"value":{"entity-type":"item","numeric-id":1164043,"id":"Q1164043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$335F1FAA-562D-4FD1-AE93-7AD1E71868B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513cd16611933cacb7ef35e1436c80cfdc4f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":4065507,"id":"Q4065507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$5C3AAA4F-C14D-41AE-8A31-9E7EB36384B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787963$23BE04D2-6C9D-47AF-9C32-45A91DD4BCC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df61d4fc8e50939548104eaab3078c495207a293","datavalue":{"value":{"entity-type":"item","numeric-id":582286,"id":"Q582286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b72ce667a84b5197b9290eeb6a8a9219e6483d0","datavalue":{"value":{"amount":"+0.7898450493812561","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":"Q787963$3EAC078C-23D9-4067-A4EC-A85686434CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7eedcf52a0ff5ef62f10997e2907e658b05621e","datavalue":{"value":{"entity-type":"item","numeric-id":3773859,"id":"Q3773859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7ac0866c4a5dd042a89f7abde2a9f8241be100","datavalue":{"value":{"amount":"+0.7721334099769592","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":"Q787963$14BAE2E0-CA49-435F-97F8-690B3979337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f9d05c20416c85c2c8201a0b9b53ae9175e921","datavalue":{"value":{"entity-type":"item","numeric-id":3789540,"id":"Q3789540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6f55c3a25006e953cd35e37491d301dfdae4d8","datavalue":{"value":{"amount":"+0.764803409576416","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":"Q787963$64A44624-78B7-4901-932F-A97CFE49688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997c713de4c1d439a30599761c184bdc0a231b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4654078,"id":"Q4654078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6a5e41bccfde379ae2cfea7fe08e2dd2fa0557","datavalue":{"value":{"amount":"+0.7446873784065247","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":"Q787963$BE270371-2E4D-4DE8-9690-EE994A9A509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae035405c3d91b9741d3739a292e33ba7cb16574","datavalue":{"value":{"entity-type":"item","numeric-id":1765098,"id":"Q1765098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a01b1f51bd61c0ab67cc5586dd615cfc304211","datavalue":{"value":{"amount":"+0.7409588694572449","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":"Q787963$272645BB-6627-4675-8F60-B2EF0845CFDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:787963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:787963"}}}}}