{"entities":{"Q792314":{"pageid":794162,"ns":120,"title":"Item:Q792314","lastrevid":64373976,"modified":"2026-04-11T19:25:43Z","type":"item","id":"Q792314","labels":{"en":{"language":"en","value":"The structure of saturated free algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853047"}},"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":"Q792314$02557E99-E1AF-47FE-B15C-471F6A1B71C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b0e289890577634bf9fcca522c3f05081ccabf8","datavalue":{"value":{"text":"The structure of saturated free algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792314$8F27F992-F7A6-4663-96F0-4A03E54EFC97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a52a3aa66364741ef1df06f59933d2ff4108040","datavalue":{"value":"0537.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$67BA6444-B423-4108-B923-684C8BB8DCA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09bd72e6ac87f18aea1a6502a43b51a3f951fd07","datavalue":{"value":"10.1007/BF01194528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$56A3B4BC-97B4-4C2B-9166-7FD4FD30A044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e64e009c5b29c61a4b3361a7a032b4dde217928","datavalue":{"value":{"entity-type":"item","numeric-id":283126,"id":"Q283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792314$1DA4AA4E-E3E2-4BBC-8795-D3EE11EBEDC9","rank":"normal"},{"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":"Q792314$43775C78-E64D-4774-8588-940493480BBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792314$BD3B3646-793E-4273-A0F2-F96C94679E42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q792314$D7296A79-6C94-4F36-A5B3-26FE3137DBE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ffef838b0e39b38765d0eb4e8ba2d58fd5cce0f","datavalue":{"value":"Let M be a free algebra with a countable similarity type and suppose that M is \\(\\aleph_ 1-saturated\\), then M has a finite dimensional \\(\\omega\\)- stable theory, precisely: Theorem 1. There is a finite set of regular types \\(q_ 1,q_ 2,...,q_ k\\) such that every model N of Th(M) is prime over a union \\(Y_ 1\\cup...\\cup Y_ k\\) of indiscernible sets \\(Y_ i\\), each based on the corresponding \\(q_ i\\). (With the consequence that Th(M) has at most \\(\\alpha +\\aleph_ o\\) models of cardinality \\(\\aleph_{\\alpha}\\geq 2^{\\aleph_ o}.)\\)    The authors announce also the following more algebraic result (which relies on Theorem 1), but their proof is quite incomplete: Theorem 2. There is a finite set of types of weight one, say \\(q_ 1,...,q_ k,\\) such that each model N of Th(M) is generated, in the usual algebraic sense, by a union \\(Y_ 1\\cup...\\cup Y_ k\\) of indiscernible sets \\(Y_ i\\), each based on the corresponding \\(q_ i.\\)    Concrete examples are given, illustrating for example the difference between the notions of regular types and of types of weight one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$29DDC54F-1C5E-4D5C-987C-7E223266EADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$70D787A6-FCFE-4296-AD5E-36B0C356B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$36D937A8-ED79-460A-B76E-F1079D818A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$877373A1-43DD-42B5-AB48-B03AAA25796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$26D1D71E-BCB1-4AD5-9D45-70C602A2109F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6eda14066a2d5092202dfc1b0d6ab04988cf6bb","datavalue":{"value":"3853047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792314$2CE17BDF-EF91-4BB4-AF0B-8F893725FA17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f46052d78cf17116e1a553bb4f410bdb18ba375","datavalue":{"value":"saturated algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$BCC4B179-35B1-4843-A904-A3530D28E93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6143b3a000c93f05783eb0efc39cace7fc18edd9","datavalue":{"value":"weight one types","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$4748769F-3958-4325-B7BE-968269607C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$C4547BC3-BEAA-4A4B-9338-D26797F047BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d6afb37e5a2932780f1f9df89fb09290a12e22","datavalue":{"value":"regular types","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$973042AF-A208-4EF0-850C-164672A6DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea7a5dcd2f6f026e2e52b1baed95d1c2490a630","datavalue":{"value":"indiscernible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q792314$1721247F-3822-400F-BCE9-59DCEFADF742","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfea56292579072863c42a6e983fef653b45e536","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792314$8FFA2222-D369-420A-B606-63C08EEC9383","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":"Q792314$21185699-EB9E-44CC-99D0-D1EFC94AFDE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9430af251212200e174ec21bf7cd86529a75e80b","datavalue":{"value":{"entity-type":"item","numeric-id":790862,"id":"Q790862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792314$792B62A9-997C-4687-BB3F-4F024F088077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c21f780a662150c47f7131ab86758497befbb4b","datavalue":{"value":{"entity-type":"item","numeric-id":594089,"id":"Q594089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792314$016298FE-1E69-481A-BC67-32DEA219444E","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":"Q792314$3CC61220-E30F-4692-BB22-16B7689B1D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37852b97d2a6d73f007a980fedbd16950192b6a3","datavalue":{"value":{"entity-type":"item","numeric-id":2795308,"id":"Q2795308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d202db5a6eb557323b47daa201801d6e0c6d36a","datavalue":{"value":{"amount":"+0.96759325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$40984E46-1C7C-4555-AD12-23757ABAC52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ab74c05c2a2ab517257f0d1dc983152e57137b","datavalue":{"value":{"entity-type":"item","numeric-id":3365834,"id":"Q3365834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca06857e1399e87e4b80aa9369f335c60728f180","datavalue":{"value":{"amount":"+0.9533674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$3BB50005-F19B-42FD-B307-29249D17F766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0846277ad945c65fb6599ebca055153872e80b","datavalue":{"value":{"entity-type":"item","numeric-id":3483337,"id":"Q3483337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512966bd5add2c8d71abc5e378e7d9cea9f2595f","datavalue":{"value":{"amount":"+0.9467728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$1CB073DA-8922-4D0C-98BC-ED195018FEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f966f6a9f998492e8f258cd3ce50c7ffedc2bd","datavalue":{"value":{"entity-type":"item","numeric-id":2120438,"id":"Q2120438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed780858c422cd9b65f66b34f61727226b2abb1","datavalue":{"value":{"amount":"+0.9358925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$58EA5F4F-A536-4143-8739-3CB6E6C51EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e7cd566c8f5525678b0171ea157c769ddd8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2710296,"id":"Q2710296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38869c1403798a15b7f495cb82a2a1bf3583822c","datavalue":{"value":{"amount":"+0.9220259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$047445E4-5E68-40C6-8C15-6A79D5317008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314204cb4169565cfb84b162ffff89913c419e49","datavalue":{"value":{"entity-type":"item","numeric-id":2324757,"id":"Q2324757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3206d20ebe899037fc5c030023db8be60768ea30","datavalue":{"value":{"amount":"+0.92101574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$87BFA5C8-6BBB-4C56-AB78-B17A665346E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e1350aafa2bc8ea8d7c0edc728f375b8805f41","datavalue":{"value":{"entity-type":"item","numeric-id":2902249,"id":"Q2902249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886477de4c2c2e777e54eb58116c4ec562738dcd","datavalue":{"value":{"amount":"+0.91359735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$ABAA5C95-C4E7-456D-A17D-349E41A32324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b9981bf7df8367a3d558bd423afffc15e133bb","datavalue":{"value":{"entity-type":"item","numeric-id":4940098,"id":"Q4940098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db5b41ef8cfa521c0a94d9f6e314d39fb55cf20","datavalue":{"value":{"amount":"+0.91096073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$D59E352E-261E-49D1-AF78-25A110D701B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33277531318095d207f8e71858e8e2fbea1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1804800,"id":"Q1804800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c155e39b0bf944e141253c966fdc4b6ba26fbf61","datavalue":{"value":{"amount":"+0.9100492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$0DA3FFE7-CE99-4448-92A1-EC8F5E1D2FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d224e801064760de94bf1c38c326a7cecfd47b2","datavalue":{"value":{"entity-type":"item","numeric-id":1088704,"id":"Q1088704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed60e4651179072be9468ac433757aac89fa33b","datavalue":{"value":{"amount":"+0.9069817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792314$3BA96C91-27C8-4D25-8206-BEA600A19DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The structure of saturated free algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_structure_of_saturated_free_algebras"}}}}}