{"entities":{"Q1935865":{"pageid":1946607,"ns":120,"title":"Item:Q1935865","lastrevid":43431811,"modified":"2025-07-25T19:02:52Z","type":"item","id":"Q1935865","labels":{"en":{"language":"en","value":"Characterizing all models in infinite cardinalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137398"}},"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":"Q1935865$8159780E-97B7-4F04-B77F-2B59F672167F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a859b0594447778734d4653f068417c8f71e7d93","datavalue":{"value":{"text":"Characterizing all models in infinite cardinalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935865$9AE27A99-FFE1-42ED-A9CF-C92656DACC60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f1a28eaef8d8f735d2cf53863e25e546b964d4f","datavalue":{"value":"1269.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$DDE34052-CE95-4585-9BE8-A32186286C0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6edea047d18fc7f5756d5c3a8a30552855999f9","datavalue":{"value":{"entity-type":"item","numeric-id":1935864,"id":"Q1935864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935865$B68F916B-3909-412D-A6E9-5DC046742DB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935865$0B265AB0-58E2-4C94-8A1F-9AEA83C1A361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935865$EEE6A666-F25F-49A5-83FE-DA91BA58AC91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e32499c5ca38e5f1ef3ba5d6252696e7243849e1","datavalue":{"value":"Let \\(A(L,\\kappa)\\) denote the following condition: For any models \\(\\mathfrak{A}\\) and \\(\\mathfrak{B}\\) of cardinality \\(\\kappa\\), if \\(\\mathfrak{A}\\) and \\(\\mathfrak{B}\\) satisfy the same \\(L\\)-theory then they are isomorphic.   Let \\(L^n\\) denote \\(n\\)th order logic. It was shown by \\textit{M. Ajtai} [Ann. Math. Logic 16, 181--203 (1979; Zbl 0415.03044)] that \\(A(L^2,\\omega)\\) is independent of ZFC. Here the author continues and extends the work of Ajtai. He asks: what kind of a logic \\(L\\) is needed to characterize all models of cardinality \\(\\kappa\\) (in a finite vocabulary) up to isomorphism by their \\(L\\)-theories? Of course, \\(L_{\\kappa^+,\\kappa^+}\\) is enough. So he looks for small definable logics, i.e., logics for which the sentences are hereditarily of smaller cardinality than \\(\\kappa\\). He shows that for any cardinal \\(\\kappa\\) it is independent of ZFC whether such a small definable logic exists. It can be second-order logic in case \\(\\kappa = \\omega\\). For uncountable \\(\\kappa\\) it can be fourth-order logic or a certain infinitary second-order logic \\(L^2_{\\kappa,\\omega}\\). He also investigates the role of generalized quantifiers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$518C88BB-B0CC-4BDF-9295-F45667C19CB2","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":"Q1935865$65061857-53CD-458A-8766-5E4C14B457BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$D94E940A-F161-43DD-A12D-35282B94E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$82B64D30-B718-49AD-9623-71C6F8AC30C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$E0695CAB-E02E-409C-967C-999B83A228DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$7B2E4D80-9905-49A9-988E-00F3C4BC664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$B82EAD44-AE07-4499-B383-637818DA8EF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93908312b9fe3d17372afbb5a9300ba2bb754840","datavalue":{"value":"6137398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$12A43614-5AA5-453E-879B-AAD54C503375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$2DD11EF0-3AEA-42E4-A494-E33640A76805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$198A1D77-87F4-498C-84BC-2780AA330E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$F825145A-D72C-4745-902B-CAABBCC9EAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$955D7087-7160-4E2F-8687-217FD8E58AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e549ce9cb41d663cf25b09ff9f89674cc4546d1","datavalue":{"value":"Woodin cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935865$B7D1BBA7-E9C2-4194-9ED7-2DBDD0D8100B","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":"Q1935865$D194928A-514A-448F-9838-2F5AC10123B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41fe49cdb39d1c82c756cdc53714e193c5726317","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935865$8E71BDE1-8317-4BA1-B50B-774A0B82E7E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04604e9131c3ecc9273d9f7ecd5000e78a66d87d","datavalue":{"value":"W2098800274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$D1546B5C-5E3B-4024-A0BC-2592F672061D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771db59a07eedb21cc3a24f4debdc55f8b5e04c3","datavalue":{"value":"10.1016/J.APAL.2012.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935865$F04A190C-0CE8-4373-80C8-CC766E7D0F50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7446421eff2eed465b5677fa676bc58f3a4660","datavalue":{"value":{"entity-type":"item","numeric-id":3812215,"id":"Q3812215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c78576d1859bc4e8d49c2cc6cdc747a950e5ab","datavalue":{"value":{"amount":"+0.7294976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$48B22DE2-69AF-4AD6-A096-BC6D9400FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a729293531efc9ea8b9fd98a6d7cc62e07f0837","datavalue":{"value":{"entity-type":"item","numeric-id":2880514,"id":"Q2880514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588115cdc296413895b90f2dcd66471e08514b24","datavalue":{"value":{"amount":"+0.716264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$2402D4B8-F1E1-4EFE-ABE3-639BFC708A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13854ba382c8af7ef3caab31e9c2542f90f2206","datavalue":{"value":{"entity-type":"item","numeric-id":4395572,"id":"Q4395572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9dfe6f6e6781bb401a9ffdf827bd86ff96ce89","datavalue":{"value":{"amount":"+0.7122991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$78FE3A3D-7959-4B24-97D1-AFD1F2D42ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f31ffc8d4888596b43098dc2e9076486ada9ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4408482,"id":"Q4408482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e61d97c99c5626888e986f2fa33b678810dbdeb","datavalue":{"value":{"amount":"+0.7100006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$ACCBD041-781E-47D2-A2EE-34452673DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9121dcc8e4293e39ff4a3157a9f538de9541081b","datavalue":{"value":{"entity-type":"item","numeric-id":918971,"id":"Q918971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831ec420dcdde0958e996c4ce2147b57139c4867","datavalue":{"value":{"amount":"+0.7094712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$CFC40269-72B9-4686-A6AD-325AB548A1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c199ca145e7fb7b7f07d1a03319001e80164802d","datavalue":{"value":{"entity-type":"item","numeric-id":1187533,"id":"Q1187533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba6e2016a33f56cad8ef5083a45bbc36f04453f","datavalue":{"value":{"amount":"+0.70750624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$59EB7B64-A0EC-433D-B150-2D9774908AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22744a093321009f5ce5dd63c56a724abdd89b2","datavalue":{"value":{"entity-type":"item","numeric-id":4296712,"id":"Q4296712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7379341666c3d78a88a06d6b98762007852de7","datavalue":{"value":{"amount":"+0.7067322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$A4D27CF7-E57B-4B08-AC74-83BFAEF431D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bae87799472901bc824097da63df9242daff355","datavalue":{"value":{"entity-type":"item","numeric-id":2985952,"id":"Q2985952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d458be1ad6196a102225c65187969e1bd9162e8c","datavalue":{"value":{"amount":"+0.70470613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$88F572FB-B6E7-41DD-89A7-7379BF8627FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa58ee12c79c66e2fe348ae4b9469ee32b9c847f","datavalue":{"value":{"entity-type":"item","numeric-id":1204106,"id":"Q1204106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014ad06274240732b46a4dedfb6c922b2ed65fe1","datavalue":{"value":{"amount":"+0.7040528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935865$54277E0E-AA09-431F-B46A-B1BA330FE5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935865"}}}}}