{"entities":{"Q1204109":{"pageid":1214858,"ns":120,"title":"Item:Q1204109","lastrevid":66870417,"modified":"2026-04-12T13:24:48Z","type":"item","id":"Q1204109","labels":{"en":{"language":"en","value":"Tiny models of categorical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 126089"}},"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":"Q1204109$8648B8B6-636D-4ABE-B686-D75C860257D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ab86014d5780bd571a2c757edb0b54b660228b1","datavalue":{"value":{"text":"Tiny models of categorical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1204109$08D1D299-ECD3-4477-B1E7-589831BCCEF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0476ece382c83316116344c368086f2eaddfa596","datavalue":{"value":"0793.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$90650B36-2646-4127-BC9D-5EB42446E35E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dce272313f89365da19392ab053a35d8440e554","datavalue":{"value":"10.1007/BF01277481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$CB45C819-4ED8-4A3C-BEC5-8B218582C98F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad82ea677d9252aa5ae95627c4706e056386aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":1203761,"id":"Q1203761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$B213BA05-9603-48C7-AB3F-80141A3BFF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$54B2CCBD-0A26-4E10-BA9A-24AFF1AAA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3a133ffd6fff126827f22cee235f74dec997594","datavalue":{"value":{"entity-type":"item","numeric-id":688805,"id":"Q688805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$C2CD7BA4-D9A1-4476-9730-A90B803D9E0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$47EA88B3-302C-4099-B16E-31A84E5967D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6966fe933ba4ebac14e44328e594ce9c2621776","datavalue":{"value":{"time":"+1993-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1204109$574E6D89-1C77-4082-A696-1EB6AC666C62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1a6c6cb3cba86b313247b0eaaf616f21f65b0db","datavalue":{"value":"For \\(T\\) a theory, let \\(| T|\\) denote the number of \\(L\\)-formulas modulo \\(T\\)-equivalence. A model \\(M\\) of \\(T\\) is called tiny, if \\(| M|<| T|\\). In Chapter 2 the authors give a new proof of the following result of Lovey: If \\(T\\) is categorical, non-totally transcendental and nontrivial, then \\(T\\) has no tiny model. Their proof essentially simplifies the original one.   In Chapter 3 the authors investigate the following statement \\(\\Phi\\): ``If \\(T\\) is strongly minimal and \\(M\\) is a tiny model of \\(T\\), then \\(M\\) is countable.'' They show that this statement is independent of ZFC. First they show that \\(\\forall\\kappa (\\text{cf}(\\kappa)>\\omega\\to \\kappa^ \\omega= \\kappa)\\) implies \\(\\Phi\\). Then they use a forcing developed by Baumgartner to show that \\(\\neg\\Phi\\) is relative consistent with ZF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204109$5733AB50-23A0-47B1-9B2B-5D23BB8525EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$91206321-F9D0-4669-8C2F-367BE5EE63BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$FCD3CDA6-97F5-4826-BAD1-012A1D72E423","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"923a7f5fbd045312e39b9f323da15d22b2233e22","datavalue":{"value":"126089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$923D69BB-7761-42CB-8750-587ABD0DEAD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204109$B0B1AC98-B653-42FE-A92E-C5BD076D54DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772ff6116efa363005c08510cca4869168c821ed","datavalue":{"value":"tiny model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204109$6956F23E-B30D-412A-81EC-DEC9D2C44374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473d962385f1a7832f4ede7f0185218e932d3b01","datavalue":{"value":"strongly minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204109$5CEEE08D-E175-4DE1-B41B-74EF5D5DABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204109$C4DDC7E5-506C-4CA9-AE54-AB3B8E66B09A","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":"Q1204109$2FB58CCB-A067-45D3-AF3B-E7E29CB70F18","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":"Q1204109$3B2CAB05-6217-4205-9480-E8371F792ABF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97742f70f2fa88f0319467e792318aaa42e4139","datavalue":{"value":{"entity-type":"item","numeric-id":4106207,"id":"Q4106207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$5B7BE99C-24A6-42DC-86F1-AF11B00BED08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8f4d01e8a1840d20d46f4aa5a80dd05b6e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":3757899,"id":"Q3757899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$A7385128-07A5-4EC1-97DF-CEA0F3776C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9535bca7c9590df2166e7e927bd382f9e00fa839","datavalue":{"value":{"entity-type":"item","numeric-id":581394,"id":"Q581394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$AFDB21CC-E1E3-4DCE-830A-1984976089E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8724377db93d94a85157e5c62f5d2637e2a7d571","datavalue":{"value":{"entity-type":"item","numeric-id":3798642,"id":"Q3798642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$0E85DEF6-7F87-49A6-9387-8013C2E5BCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34715e92f688c8b2a765a90317d465e2ead0a24","datavalue":{"value":{"entity-type":"item","numeric-id":922524,"id":"Q922524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204109$FB3A9EF5-5466-4CF4-B4DE-0F39294B0DE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eb4cedda1a34e6175bde004f7b07c7757333336","datavalue":{"value":"https://doi.org/10.1007/bf01277481","type":"string"},"datatype":"url"},"type":"statement","id":"Q1204109$6A914138-3733-4B8A-A7AA-BE065C8E2A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eb4bf8e17f2a5ddd1fcbe195b064a09f7eac645","datavalue":{"value":"W1992362386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204109$4B6176E1-245D-4B2B-A018-2114EB82A278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3674e0857c92ba9c9913969147562835a28284a","datavalue":{"value":{"entity-type":"item","numeric-id":3630571,"id":"Q3630571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78fc68ee39dd70c61a4103bfff68fcdc5bbecd2","datavalue":{"value":{"amount":"+0.7549844980239868","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":"Q1204109$C27290CE-8A15-4B50-9372-75515093E966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9c3730063ab5336fdceb45db5e848b2fc90217","datavalue":{"value":{"entity-type":"item","numeric-id":3801534,"id":"Q3801534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1c9400e062477218dc1afa2be0885532cb737a","datavalue":{"value":{"amount":"+0.7324144840240479","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":"Q1204109$9A3569B0-BEC3-4A7B-B13C-FFF700763317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3271d39ff5bb37526c47c1df640bba140785b29d","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ce171bb4762b5c86ca0148c7748bb576ca3e95","datavalue":{"value":{"amount":"+0.730354905128479","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":"Q1204109$FAD33F9F-69ED-4FF4-8D73-424C044BFCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89edc4b3b1de21ef9e4c82902afb81a3edfc8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3812214,"id":"Q3812214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461d32f7f2961ce216938a390ee54e7298d8d629","datavalue":{"value":{"amount":"+0.7284886240959167","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":"Q1204109$3D92C6F3-AB4D-4D2D-A676-D2F5BC19AC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2393e8b6f5244b34f00c4ef85661e72dfed6b75","datavalue":{"value":{"entity-type":"item","numeric-id":1916073,"id":"Q1916073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835d55514f805c6fecf873d194539200ccbbf6f8","datavalue":{"value":{"amount":"+0.7279598712921143","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":"Q1204109$9B29B387-133E-4E6A-91A3-A4EA7E65026F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tiny models of categorical theories","badges":[]}}}}}