{"entities":{"Q1060211":{"pageid":1070963,"ns":120,"title":"Item:Q1060211","lastrevid":69756822,"modified":"2026-04-13T09:11:08Z","type":"item","id":"Q1060211","labels":{"en":{"language":"en","value":"Resplendency and recursive definability in \\(\\omega\\)-stable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906480"}},"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":"Q1060211$F890B830-6C56-4796-8A8C-EF17E029F498","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22823a40156d024c9cc2c80553ae1963e722ada0","datavalue":{"value":{"text":"Resplendency and recursive definability in \\(\\omega\\)-stable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060211$0913542F-4554-4E53-BA11-6DF5E76EAB75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4213d6dc38bc7b1b663e5cd83dc37acd14c797","datavalue":{"value":"0568.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060211$B28BFC21-4855-4C19-A270-F1234E4C4645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62c1676076ff5cd1170c7e8408e80e2c33a8493b","datavalue":{"value":"10.1007/BF02760644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060211$8C41E5BF-7D68-4320-ADB1-F9FCDAA68CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df1dcc84459b1e38d34032cd836820ec3fc26a89","datavalue":{"value":{"entity-type":"item","numeric-id":581393,"id":"Q581393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060211$D6AC0489-CF06-49C7-A2D7-D2D1E1D79366","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":"Q1060211$611B82DC-1494-493F-9FD0-1611AF1EDCDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1060211$C15FC7D1-4BEE-4946-9BD3-2D049ECAA4F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75da97433918b783e72f5e1e99d582e53af22919","datavalue":{"value":"This research began as a study of uncountable resplendent models. While it is known that every theory has a resplendent model in each cardinality, it is very difficult to decide whether a particular model is resplendent unless it is saturated. This led me to ask: When are all of the resplendent models of a theory T saturated? Results on the existence of saturated models immediately imply that T is \\(\\omega\\)-stable. For most theories there will be resplendent models which are not even \\(\\omega\\)- saturated, so we must generalize our question from the saturated to the homogeneous models. We answer affirmatively with Theorem A: If T is \\(\\omega\\)-stable, then every resplendent model of T is homogeneous. Proving this result requires some deep information about \\(\\omega\\)-stable theories. First we see that it suffices to show that every type p over a finite subset of M satisfies (*) dim(p,M)\\(\\geq \\omega \\Rightarrow \\dim (p,M)=| M|\\). A much deeper result is that it suffices to prove (*) for all strongly regular (SR) types p. That (*) can be expressed for SR types p with a theory recursive in T is very technical, and is certainly the most difficult part of the proof. As an aside we obtain ''recursive definability in T''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$6CF66CA9-FD66-40B0-B25A-2170FDDA3B0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060211$94BFCD7F-6EDB-4595-BC7C-C59CC6B15640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060211$30356DD7-01B1-484C-976E-36600F15C97F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2006953f87107e173ca45034925cb6fab9c4a80","datavalue":{"value":"3906480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060211$D549B571-E737-40E0-A1B2-97B4A2FE68BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"644a42a632cb8b99c5ac188248e2e4f99dbae0b1","datavalue":{"value":"omega-stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$088FB827-B57D-4512-8F01-D383AF4ED1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d93e0e14afa878cf5eba84e74981e302a14e246","datavalue":{"value":"resplendent model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$1243FCAB-2F3E-4134-96C9-8806E0B5DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$28DE8F99-3BFB-4859-951F-09E2CCB28D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f2207887d20a749e324218fd7aa57bda2c88c4","datavalue":{"value":"homogeneous models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$314C0BE9-A8AD-4EF3-96F5-33490E09B9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133becc0a0bc5e0e184795268d4d122bad1c89cd","datavalue":{"value":"recursive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060211$86B4FF53-596B-4718-9BE1-4D52830F87E1","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":"Q1060211$1E7EE299-B510-4287-8308-41633A5F1EC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58481ada6f9c13fbb76606e9aa6a999edc1b22a7","datavalue":{"value":{"entity-type":"item","numeric-id":1170182,"id":"Q1170182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060211$60D8AD6D-9D68-4C83-AC31-AA3261C68038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e150212d654bccc028ca901294dffd6a607ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069927,"id":"Q1069927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060211$48564551-4044-449C-A0B0-869AD89C9416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bea5958067233cb49214be88492ad906155d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4152535,"id":"Q4152535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060211$EBD57DB2-FAED-4BE3-A0BD-44BF0227F598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3312590bb7c66e4c3a06b0f6d5bc5044c4eea7f","datavalue":{"value":{"entity-type":"item","numeric-id":5602915,"id":"Q5602915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060211$695C244C-35A0-401A-BBA7-837668AEBAE0","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":"Q1060211$54117BB2-32DE-4170-8273-B09FA105727D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec28de9128a2599110805491252f28d08fd71d98","datavalue":{"value":{"entity-type":"item","numeric-id":3476795,"id":"Q3476795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff846b00d4f867d15860e7b324f76cd0c1e6f6f","datavalue":{"value":{"amount":"+0.8246704936027527","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":"Q1060211$2DBFCB07-AB9E-4EF9-A519-50797A9ABA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849fbc4d852a7f8c45d894e9c085bb9e31471a90","datavalue":{"value":{"entity-type":"item","numeric-id":3726096,"id":"Q3726096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7889811af33c64ee1eb56eec02103eb3bb7081c","datavalue":{"value":{"amount":"+0.8168873190879822","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":"Q1060211$9AD438CE-080B-4E4E-97A5-6EE524E24158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a58c673d1331cf25e3910b5f619b4c16f42eb13","datavalue":{"value":{"entity-type":"item","numeric-id":3757902,"id":"Q3757902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc1b2be3f297ef2527a4a7657a9065857968f97","datavalue":{"value":{"amount":"+0.8038071990013123","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":"Q1060211$CCAE4AC6-43DF-4976-B98D-9E6C372F9CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f531bc62fce777759030f7f55975e9b27216c678","datavalue":{"value":{"entity-type":"item","numeric-id":3722479,"id":"Q3722479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aed28b12a8075260ff39d833f1c3ec53690f0c","datavalue":{"value":{"amount":"+0.800954282283783","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":"Q1060211$A17B4831-E204-41B1-9528-215E958BCF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4393c25f38232ac83ff0a09162c340ab6034b577","datavalue":{"value":{"entity-type":"item","numeric-id":3731585,"id":"Q3731585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0ae9992f8679b778e76299bc0bc9bf6392711b","datavalue":{"value":{"amount":"+0.7995010614395142","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":"Q1060211$1C09B67C-48D6-4F06-B285-A5965AED7D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resplendency and recursive definability in \\(\\omega\\)-stable theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resplendency_and_recursive_definability_in_%5C(%5Comega%5C)-stable_theories"}}}}}