{"entities":{"Q580327":{"pageid":582094,"ns":120,"title":"Item:Q580327","lastrevid":62921892,"modified":"2026-04-11T09:00:25Z","type":"item","id":"Q580327","labels":{"en":{"language":"en","value":"Set existence axioms for general (not necessarily countable) stability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016873"}},"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":"Q580327$ED6067E8-3196-4B41-93A2-BC0466391D0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb92890a3626b837d058094d89c608bcef66c312","datavalue":{"value":{"text":"Set existence axioms for general (not necessarily countable) stability theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580327$824C5678-F48A-455D-9D64-5B44A95474A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24ca2024c35273d8bb25319d2da0d9e85ec799b2","datavalue":{"value":"0626.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$130E8A1F-1675-41BE-A821-D313396ADDAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"998879c256790eec604268097fd1f07887891e4b","datavalue":{"value":"10.1016/0168-0072(87)90002-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$58EF15D4-D0AA-4298-9439-B9EF3A32167D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff352d8d8a83aecc1a17089bf4456a0f5daa2ad","datavalue":{"value":{"entity-type":"item","numeric-id":580326,"id":"Q580326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$5EE5CA09-EE56-45C1-A787-6CDBC8D38637","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":"Q580327$0F9554CE-9742-48B7-9642-162075566654","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580327$88188242-530B-4D71-A7B7-0688606E2D62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a61a56f8cc93c269c79c95d5e295203f5215451","datavalue":{"value":"H. Friedman set up the framework for several studies aimed at finding out what are precisely the set existence axioms needed for proving various theorems of ``ordinary mathematical practice''. The author [J. Symb. Logic 50, 123-137 (1985; Zbl 0612.03025)] considered similar questions for theorems in Shelah's stability theory in the case of countable languages. The aim of the paper under review is to extend this work by formulating set existence axioms in a general context that can accomodate model theory of arbitrary languages and then examining which of these axioms are needed for several theorems in stability theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580327$3FE61757-24C2-40EB-8E27-4021998F8738","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$C32FF19A-E56F-4F55-9051-2EABA0FDB9CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$B846C7D2-8090-41FC-A9AB-723C25C166F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$8FA86C36-D956-4451-88DE-C6014DFE0999","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c859c7da7802574636dde5c3d59b0c209e4ca790","datavalue":{"value":"4016873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$3B06BB72-D750-4AEE-A120-4BDA44733748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07149bc3f091e8d64b2fad10fb667db84a3ec69b","datavalue":{"value":"set existence axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q580327$50FCE852-AFF9-40A5-985E-3008CB06F303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7727eafffda3289917ad7627d8becbc8460953dc","datavalue":{"value":"stability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q580327$F8597D95-F000-4A2F-99EC-19FC8CB67CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924367cedb33676535b016b74aaae98b0524041c","datavalue":{"value":"model theory of arbitrary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q580327$F8EAC008-D374-4FFA-AE20-8C5EB1187F63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"01d3fdf7eb36afb4e0e7c5b8cdf1b6a16cb33854","datavalue":{"value":"Q114684043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$1B24170D-8B1F-4F14-AF47-2611DDC10D68","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":"Q580327$DE3C3661-E508-40C7-8E60-5B30DCC48191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c08581d531c60c959e94fdf85f75a58746dfaf61","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90002-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q580327$D15F4923-BC05-44B6-AA1D-71B9BBF7BB67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aa5cc976d4060e6c80496247ce4ef70c9f9d26f","datavalue":{"value":"W2061999608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580327$22253869-792B-47E6-BE37-D64FBB844A0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e62ae5db567d76b473bb635941129fc63e743c3","datavalue":{"value":{"entity-type":"item","numeric-id":5596746,"id":"Q5596746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$D2280E84-C522-470F-8E41-FD0ADA29A4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$B4037CD3-C674-4726-BD71-8807D63F2ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$62247E74-662B-4F78-B7C7-E9D788436B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887de0cbd631c6be829fbe9e5b11bd23719f728c","datavalue":{"value":{"entity-type":"item","numeric-id":3752377,"id":"Q3752377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$8244FA09-D6D0-49D5-B7B1-699FC00E0A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$99FFA179-96AB-4417-B0E9-15552C39F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$B2D05DA7-0981-4A7D-84A6-DF56EA15EB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580327$50EAF7B0-8EEF-4D2E-8196-6876465D9E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c38de09ff99fa5485e28c43f6d407eb2d2a256","datavalue":{"value":{"entity-type":"item","numeric-id":3752377,"id":"Q3752377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e44a99c7045b66d10c2bc35f5718e0483e4c2cd","datavalue":{"value":{"amount":"+0.8337849378585815","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":"Q580327$DC4E029C-AF51-4870-B5B5-E7E061F67268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97fc49be9096ac016c22a25e10572022ffa408d","datavalue":{"value":{"entity-type":"item","numeric-id":3425065,"id":"Q3425065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d97ebe3e0693333e3f17f22df94eaa3c53e7111","datavalue":{"value":{"amount":"+0.7413570284843445","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":"Q580327$DBF2ACD2-8C22-42F7-8EDA-A48C515FD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d49309c19eca5f8a4a959f12a30fc3c8ce0b66","datavalue":{"value":{"entity-type":"item","numeric-id":691129,"id":"Q691129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4849cb62462575232dd95ea7a05913b45d145564","datavalue":{"value":{"amount":"+0.7329704761505127","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":"Q580327$7C634684-B2BD-4BDF-B2EE-7F4EC8032D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67ca5e88211ef56bd10aa7fa17d4daeaa8cdb4b","datavalue":{"value":{"entity-type":"item","numeric-id":2443122,"id":"Q2443122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e3fd3314b070e898cff440f7ecf5eb17d1b347","datavalue":{"value":{"amount":"+0.7307990789413452","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":"Q580327$5AF1F2A8-F1A1-49B9-A971-B6C8D5868B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506151ce750674621b1ef198fe2d8c92e3c26ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4243913,"id":"Q4243913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8725d572d93cf3d5bd7c56ad6dd7364e71c69aa4","datavalue":{"value":{"amount":"+0.7170583009719849","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":"Q580327$5035F827-91A7-4614-9955-A3A8453F6B80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set existence axioms for general (not necessarily countable) stability theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_existence_axioms_for_general_(not_necessarily_countable)_stability_theory"}}}}}