{"entities":{"Q839925":{"pageid":841773,"ns":120,"title":"Item:Q839925","lastrevid":64731711,"modified":"2026-04-11T21:51:20Z","type":"item","id":"Q839925","labels":{"en":{"language":"en","value":"Categoricity, amalgamation, and tameness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601722"}},"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":"Q839925$FA6D2451-D763-4F47-AF82-12DE6B684E79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22cc780968e7731ebd4be8befce066d41596e529","datavalue":{"value":{"text":"Categoricity, amalgamation, and tameness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q839925$46092AF7-2572-4C81-98BF-8CB60C685D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a1f8fc70143c68ba0ff852c578a9b52828490c","datavalue":{"value":"1181.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$BE06C28B-6D95-46AA-8331-06FB3BFDA625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$922E96FE-9265-4FA7-A5AB-00412554DDEF","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":"Q839925$97A437C8-411F-4ABC-9756-18426A5A315B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba55de1898b5b7ed159e3b67fd658ad04a96431f","datavalue":{"value":{"time":"+2009-09-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":"Q839925$CD5E6EA7-C81B-4A3E-A18A-84850D6BC258","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9db08d44a63c7ec0f59cfc296e571a03a7f7261","datavalue":{"value":"The categoricity problem in \\(L_{\\omega_1, \\omega}\\) is considered. For every \\(k\\) with \\(2 \\leq k < \\omega\\), an \\(L_{\\omega_1, \\omega}\\)-sentence \\(\\varphi_k\\) is built satisfying the following conditions: (1) \\(\\varphi_k\\) is categorical in \\(\\mu\\) when \\(\\mu \\leq \\aleph_{k-2}\\) but not when \\(\\mu > \\aleph_{k-2}\\); (2) \\(\\varphi_k\\) is not Galois stable in \\(\\aleph_{k-2}\\); (3) \\(\\varphi_k\\) has the disjoint amalgamation property. Moreover, for \\(k > 2\\), (4) \\(\\varphi_k\\) is \\((\\aleph_0, \\, \\aleph_{k-3})\\)-tame, and indeed first-order types determine Galois types over models of cardinality \\(\\leq \\aleph_{k-3}\\); (5) \\(\\varphi_k\\) is Galois-stable in \\(\\aleph_m\\) for \\(m \\leq k-3\\); (6) \\(\\varphi_k\\) is not \\((\\aleph_{k-3}, \\, \\aleph_{k-2})\\)-tame. Also, it is shown that models of \\(\\varphi_k\\) are a model-complete abstract elementary class AEC.  The construction refers to earlier work of Hart and Shelah, but adds new significant contributions with respect to amalgamation, tameness and stability. In particular it provides a new example of non-tame AEC (simpler than that previously given by the first author and Shelah).","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$B0577CCE-4BBC-44D6-A107-2EFBA4936F42","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$9A5698D7-8618-4F8D-A531-DB771EA989C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$31194A1F-99F1-4F4D-BA32-56089784F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$B1B6F2C8-4CC3-4F00-A0FF-977320F41EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74ba38d48637cb11ebad5af429ed111de6abc2f5","datavalue":{"value":"03C48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$CDA7E285-4A79-49C5-9250-5D408380ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$C0D61FA7-C9E2-4C1C-A811-964F57C99A3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d199e7c1cee646326ab48c6c8605cc4165218d77","datavalue":{"value":"5601722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$0BF4C9B4-BB3A-408D-A14C-8DC0CC17F3CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$DF94941B-2A89-49F2-8977-41662D68D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$4554F7F4-9EB3-4CE4-9D0E-EA84FF5B519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7816d4e9b172b80929b8d08b8ea72a71c2eef6","datavalue":{"value":"tameness","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$AF9E4B73-EA0F-415B-8189-A14DEFAC3276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8dfc3352f7164d4959a2d830194a7ca745de87","datavalue":{"value":"Galois type","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$238D4D40-5034-42A3-B8F7-0725E846730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314610a6ace3f496bb71da039c82e69b02fd6191","datavalue":{"value":"abstract elementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q839925$019D5C7D-A094-482A-93DF-142C3D3370A2","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":"Q839925$8D72A9DF-4B0E-4B76-AC00-F80FD903BD05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8599f073da6c671bc402474f76106cf3525f76f","datavalue":{"value":"https://doi.org/10.1007/s11856-009-0035-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q839925$93F65876-479F-4BC2-AAE0-D48FE22F4AB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"515cd07f885796fba32031bda26e9e5de725b0d3","datavalue":{"value":"W2000276324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$E60ACBF0-17FB-4ECA-ADC6-5881974FC266","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"812dcbb23685d953533b736f0262399576bc0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":867409,"id":"Q867409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$1C9D3B52-2A67-4197-BA8B-963EA8A9CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$FAF556D9-DB6D-42CC-9B44-7D0414BF7D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43febe4b66b14f5dd08f0acf5dd9982fd67beaa6","datavalue":{"value":{"entity-type":"item","numeric-id":2433744,"id":"Q2433744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$165054F3-CAFB-4F52-817A-CD1299AD9535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a57cb43b6185785ba8ac0c49fa5d01cd37383fe","datavalue":{"value":{"entity-type":"item","numeric-id":3617360,"id":"Q3617360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$8CD84882-3A76-4F0A-92B2-A49D319A855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f19e097c0f65f9988064610d831e6c31c9e09d","datavalue":{"value":{"entity-type":"item","numeric-id":3444856,"id":"Q3444856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$F07D64C1-EEC0-4F76-ABC6-0253886140CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74a42bdab930e24bd03fcc7a32d4b94a1aa7525","datavalue":{"value":{"entity-type":"item","numeric-id":5485747,"id":"Q5485747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$5809C223-398C-4D2B-A719-27804710BB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295270ba2fe93bff9898cd08d1a0706c83ad8a39","datavalue":{"value":{"entity-type":"item","numeric-id":5480625,"id":"Q5480625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$295D77DA-789F-4607-A7C7-A0F1A57251D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fd962b692efb5d6931297086715d669ebae469","datavalue":{"value":{"entity-type":"item","numeric-id":757348,"id":"Q757348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$D6342686-2D6E-4FC7-99EF-2B5ACE2C7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3431060d057142e0c2a23b35b685b7e92a4d21","datavalue":{"value":{"entity-type":"item","numeric-id":2580959,"id":"Q2580959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$332DF2E3-4255-4D40-917E-0E63DA08CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67460f0e80bece9fe3e61ec2414b2659b450d444","datavalue":{"value":{"entity-type":"item","numeric-id":3173526,"id":"Q3173526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$E6369C80-75B4-436E-B780-11788515534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93053e553fb87c708c51fb0da32f6eec430f9011","datavalue":{"value":{"entity-type":"item","numeric-id":2433750,"id":"Q2433750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$7AB91C2D-B47E-4D19-8676-3979B3789490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbc6f4e0c062c52c731a68c7ba29b3c890f0fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5718680,"id":"Q5718680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$5E596474-A2C0-40B0-97F8-F1F59887CEEC","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":"Q839925$7F31B950-729B-4139-90EA-41A902984560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b9b61a576f6241a4025ed084314ff31c0d486c","datavalue":{"value":{"entity-type":"item","numeric-id":1302296,"id":"Q1302296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$4A35D9F8-53EB-463D-87C2-A1EC1E0FF16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fb39e3919b2bcdc345a241ee0b2c4d834f4d29","datavalue":{"value":{"entity-type":"item","numeric-id":4496342,"id":"Q4496342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$5AB71D91-5115-45B1-B1FF-9FACE69CE9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8970aa1036964123ca936a88cd4c4916e33b2f","datavalue":{"value":{"entity-type":"item","numeric-id":5710731,"id":"Q5710731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839925$0C94CF83-650E-4C59-BF88-56C636D4A26B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8254314fde7f22dabcaab95a407035ed518efda7","datavalue":{"value":"10.1007/S11856-009-0035-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839925$0E379F1C-09A3-472A-AC8A-52DDAAA4B4F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cbb3b313aa63a6fe7c6e87059ad3db8197c87b","datavalue":{"value":{"entity-type":"item","numeric-id":4922658,"id":"Q4922658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c867ed234a285b28c168c9cd4662a95f2232d5e","datavalue":{"value":{"amount":"+0.8110601305961609","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":"Q839925$F99766F0-AFF8-47AA-B33B-DC86B96D19C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e626924506667aa175c00a9fe9ebf4117b288b","datavalue":{"value":{"entity-type":"item","numeric-id":3444856,"id":"Q3444856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eec7d696ace9f533d9927c3e86b763127d24d06","datavalue":{"value":{"amount":"+0.8100748658180237","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":"Q839925$903C8BC7-2116-440E-BAB8-09E75611A5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c1373bf936d043fa6059acae52058dc792715f","datavalue":{"value":{"entity-type":"item","numeric-id":4344958,"id":"Q4344958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51f1b8a9c12c1e3bd5a6b36129fe555a8c80120","datavalue":{"value":{"amount":"+0.8076879978179932","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":"Q839925$6EE3C4C1-D264-4A5F-B3AC-7C94E5E90986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596019db2a381ea97db1d9b103d5c5c2c0e742c6","datavalue":{"value":{"entity-type":"item","numeric-id":1302296,"id":"Q1302296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c7b6cf4da59ffb75463684161542b230bec0d0","datavalue":{"value":{"amount":"+0.803291380405426","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":"Q839925$ACB7D017-7FBD-45BE-ABC6-E29A1BA3A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2412e2abe42e02be0b67f0cdca439f679c6f50","datavalue":{"value":{"entity-type":"item","numeric-id":5718680,"id":"Q5718680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e130166dd911528886e4ac3b0052e63934aa26","datavalue":{"value":{"amount":"+0.7964599132537842","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":"Q839925$9E295EDB-A0D6-4B10-B075-3175952DD6CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categoricity, amalgamation, and tameness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categoricity,_amalgamation,_and_tameness"}}}}}