{"entities":{"Q763970":{"pageid":765819,"ns":120,"title":"Item:Q763970","lastrevid":64198164,"modified":"2026-04-11T18:17:24Z","type":"item","id":"Q763970","labels":{"en":{"language":"en","value":"A generalization of Shelah's omitting types theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020901"}},"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":"Q763970$AAFF04F4-EAB8-47F9-A78A-EF4D73755D6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"309ae73b972fc44c0fe04cef69a181c16a962b6e","datavalue":{"value":{"text":"A generalization of Shelah's omitting types theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763970$BFEE9D01-EFCF-44B4-A044-EAFF0734B470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c95b2a46035765fcccadc5a003e22634afdc48c3","datavalue":{"value":"1253.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763970$06D764CA-F39E-444E-BE8E-29C6731D3702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"912b31c9fb3cb51ede190bb642d3829d37137788","datavalue":{"value":{"entity-type":"item","numeric-id":455003,"id":"Q455003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763970$544D4964-7A21-410F-A579-991B281874D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763970$914A6515-190C-4403-80D2-68D0A1863080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763970$21C06FA8-243E-4E58-AD4A-8F32364D9DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5e2d7559f15a6d778e621ddd5ff41f21b6f2c5d","datavalue":{"value":"https://projecteuclid.org/euclid.tkbjm/1331658704","type":"string"},"datatype":"url"},"type":"statement","id":"Q763970$8133F156-EABE-40E9-836A-7F2492D98CCD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cbef08779e77af732436ebdbdf32285cbdaf37a","datavalue":{"value":"The author investigates omitting types theorems. One of the main results is the following:   Let \\(T\\) be a theory in a countable language \\(L\\), \\(L_0\\) a sublanguage of \\(L\\). Let \\(R\\) be a set of nonisolated complete \\(L_0\\)-types with \\(|R| < 2^{\\omega}\\). Let \\(S\\) be a countable set of nonisolated \\(L\\)-types. Then there is a model \\(M\\) of \\(T\\) omitting all members of \\(R \\cup S\\).   This is a generalization of the usual omitting types theorem and Shelah's omitting types theorem. The author applies his result to the Lopez-Escobar theorem. He also considers the omitting types theorem for nonelementary classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763970$8EFECCA7-73F0-42B5-9712-9D8C445936B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763970$563704E4-E026-4EF7-9CA0-1C4E544A8DB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763970$D45C9C65-D67B-4764-BBCF-C5F6B907992B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39e572cd49dd74a3129cea293d2a9e29fe28ff97","datavalue":{"value":"6020901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763970$AC728CA0-CEB7-4BC7-A4B8-346C9EF44D9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q763970$0AD69851-6A26-44F8-A11F-C293DFF5D73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec2f4004b792855fd03f31e642cbfc0fed278fe","datavalue":{"value":"uncountably many types","type":"string"},"datatype":"string"},"type":"statement","id":"Q763970$0FF18371-E37A-46D7-8C98-39C69AE73E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88507858987e96a51750e0cebe0d46e11797524","datavalue":{"value":"nonelementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q763970$E7071132-C937-4822-B502-61C94BB8BDC4","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":"Q763970$090CA221-22C9-48D0-80F5-51F1A20B670D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"450adb675a6a4ea9ae213aa56d35daf3695fa755","datavalue":{"value":"W1600749226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763970$F955F774-03C6-4375-A91F-91F6D925CD31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6437f34290529ecec4a6897949e06a6ed6f4150","datavalue":{"value":"10.21099/TKBJM/1331658704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763970$E098FE25-C3BB-44C6-A7B5-560BC3A3E501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4770c95abdcba0c31fda4a50b054041fc4c2ace5","datavalue":{"value":{"entity-type":"item","numeric-id":1049741,"id":"Q1049741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8722196eadb2da65fd5a22cb964f0c0dfa82534","datavalue":{"value":{"amount":"+0.829049289226532","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":"Q763970$E5FDCBA8-E7E4-4104-981C-48EB39EAFC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635884bf7fd87a3d429a6d4745e0ec8d6dab19d5","datavalue":{"value":{"entity-type":"item","numeric-id":3720570,"id":"Q3720570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b103499ece9802d69734e1cc9893cf3a91190e3","datavalue":{"value":{"amount":"+0.7954400181770325","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":"Q763970$DA9FAA04-CCD0-4192-8AD1-9E95EB0D9D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365ddc6bd4ff7ee65e99313dc1203224717cc6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3615237,"id":"Q3615237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7524c3be96666e7efd7899aa86a608dc314a9d","datavalue":{"value":{"amount":"+0.787055492401123","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":"Q763970$FA3DFDA9-BE55-4867-95FC-4A8C92B64CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3622b805f412785f6aeacc17833164ba6ad1fabc","datavalue":{"value":{"entity-type":"item","numeric-id":3808071,"id":"Q3808071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85d466c2802e6f4c58094d16b3112a59741b63f","datavalue":{"value":{"amount":"+0.7788360714912415","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":"Q763970$02D23D35-01D6-40F4-94DD-C3657C125240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b139450a1fcab6deccb5d391d2a5f2b494ad6f30","datavalue":{"value":{"entity-type":"item","numeric-id":688799,"id":"Q688799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc3686ce2af4fb34fd97185629722b915ebb33a","datavalue":{"value":{"amount":"+0.7788298726081848","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":"Q763970$870DA6EA-6A36-4B13-A876-BFB8604A34E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Shelah's omitting types theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Shelah%27s_omitting_types_theorem"}}}}}