{"entities":{"Q1095889":{"pageid":1106641,"ns":120,"title":"Item:Q1095889","lastrevid":66680079,"modified":"2026-04-12T11:52:41Z","type":"item","id":"Q1095889","labels":{"en":{"language":"en","value":"The spectrum problem. III: Universal theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029522"}},"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":"Q1095889$1F0195A4-E58E-405D-B260-FE723E9E2FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a63c8e501e12eab7abdc74685454e28ce9c68daa","datavalue":{"value":{"text":"The spectrum problem. III: Universal theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095889$59ABAC4C-63D0-4331-A695-29F9707065CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6102440d0902cf9a33a819e29c6eb647c909b0f7","datavalue":{"value":"0633.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095889$D9FF8319-E3DD-4982-96F5-19DE07A0ED59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d032a219a54d9c1cb9209dd3ec25047c42b1061c","datavalue":{"value":"10.1007/BF02801997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095889$7D988F9A-D458-4C69-BD32-0D6C7176B23B","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":"Q1095889$DA59E327-7253-441F-B2C0-3A64A6004C77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$EA3AE238-B8FD-4678-BDA7-06B7F025ADC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095889$3C5B538C-C5DC-4E6D-BCDE-6D20179E954B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61177e00d0e780bcd23a855a7d2b5e1ecef7504e","datavalue":{"value":"[For Parts I and II see ibid. 43, 324-356, 357-364 (1982; Zbl 0532.03013 and Zbl 0532.03014.]    It is proved that for stable complete T and C a big model of T, either A) for all elementary submodels \\(M_ 0<M_ 1,M_ 2\\) of C with \\(M_ 1\\) and \\(M_ 2\\) independent over \\(M_ 0\\), the substructure of C generated by \\(M_ 1\\cup M_ 2\\) is an elementary substructure, or B) the universal part of T has an unstable completion.    By Shelah theory it is concluded that if T is a universal (not necessarily complete) theory then either there is a structure theorem for the models of T (specifically any model is generated by a nonforking tree of small models) or T has \\(2^{\\lambda}\\) models in every cardinality \\(\\lambda >| T|\\). Examples are also given of, for all \\(n<\\omega\\), a universal theory \\(T_ n\\) which is unstable but whose instability is not witnessed by a \\(\\Sigma_ n\\)-formula.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$405B962F-4475-4B34-AC4F-BC7C730438B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095889$C04E624D-E0FF-480E-A679-FB3039DEB7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095889$041788CD-E492-4C93-B25B-F3A333008FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e90c4f827d5578aacc27ca571629852887003a5a","datavalue":{"value":"4029522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095889$FFB301F3-D3BB-402D-B2C6-510FBC8BCD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e038c88f35c80793f724bfa2105cca8a3e8ef7","datavalue":{"value":"elementary substructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$9DC7CC7B-2D7E-4319-B60C-51B13C5D8221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17abd61166ae4b37b5efa0acb7d5b9a385b9c66","datavalue":{"value":"unstable completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$511DDB4F-6003-4C40-91AB-55DAD374E2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af2a2b5ba90d9cf2805e6a6fc80874ac1471660","datavalue":{"value":"structure theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$02BBA419-DEAB-443A-9292-62529E072CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79d1efdb00abe7214cdd7d98a08a213af50044f","datavalue":{"value":"nonforking tree of small models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$80B627FC-1388-4A09-9A80-3577AB32DF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095889$624745DF-3E9A-47A9-BD31-ACE6A63F6520","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c85e72a1f4c882841ee105072b1a29a210f3882d","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$5ED737A0-D921-4131-B1C1-B9D0552E4B34","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":"Q1095889$E5AD6AB9-70CB-448C-B071-CBE786E1BB7C","rank":"normal"}],"P223":[{"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":"Q1095889$1CDB8244-1FA8-4680-93FC-10F4D51C10BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5f65cff31d9bf758cb0757cf214acacbcb8138","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$4057B7C7-B748-4BF8-9F87-D84661757D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9c81cd8ad9413c3b7d77ba2ba534fa00c0d816","datavalue":{"value":{"entity-type":"item","numeric-id":788714,"id":"Q788714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$F5D90DC7-69CA-42D3-A276-AE6BBD132719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c36a6c34e0bf81cf659995b5896e6dc0373203","datavalue":{"value":{"entity-type":"item","numeric-id":800911,"id":"Q800911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$BBB98463-AD8B-43E3-A1D5-02A6B48DCA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461882aea91a2a5bde56b6133d70ac9ec9ebf46d","datavalue":{"value":{"entity-type":"item","numeric-id":3699674,"id":"Q3699674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095889$550E616B-51AD-4404-82B0-91731077B654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343f5a081048c1b187b2eeb7062f099006acba6b","datavalue":{"value":{"entity-type":"item","numeric-id":1194244,"id":"Q1194244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd5234ebe48e9b5c514b29cab630b297c9ef2f1","datavalue":{"value":{"amount":"+0.8969604969024658","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":"Q1095889$A1028A8A-4307-4ED0-A66D-B5AB1D414930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35146039b1a2e1cc43de0c987c02a1eff8307394","datavalue":{"value":{"entity-type":"item","numeric-id":788714,"id":"Q788714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66f2f18acf784aa6c187a0584ea84a26c8a0013","datavalue":{"value":{"amount":"+0.8913063406944275","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":"Q1095889$D51F0575-AA5D-40D3-AA24-8C5DA6C4D7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74c471e3d090281ea56a73b0da0ac5f80e2c08b","datavalue":{"value":{"entity-type":"item","numeric-id":1589986,"id":"Q1589986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adf0f1e0f99c80098f36a9cdf20f7f0f2d5d471","datavalue":{"value":{"amount":"+0.819837749004364","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":"Q1095889$4E222FBA-7F01-4A1B-BED7-B979458D462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c63ac35b7ec695be677e72a0b36628ea7c4a91","datavalue":{"value":{"entity-type":"item","numeric-id":867404,"id":"Q867404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbac52d1080347eeaa6f54df94b8c7ef1a03b8b","datavalue":{"value":{"amount":"+0.8187572360038757","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":"Q1095889$8D891513-F060-43B8-9CA6-57A8F1CC36DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1795cb172a8f3005e786901e674cf837497713","datavalue":{"value":{"entity-type":"item","numeric-id":2909618,"id":"Q2909618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5b75ab53cf26f35bc75ae08555b4f36885b7be","datavalue":{"value":{"amount":"+0.7897517681121826","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":"Q1095889$7BC3BE4D-37D1-4D33-BB36-8EB9C9C3B698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The spectrum problem. III: Universal theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_spectrum_problem._III:_Universal_theories"}}}}}