{"entities":{"Q1820151":{"pageid":1830893,"ns":120,"title":"Item:Q1820151","lastrevid":71358576,"modified":"2026-04-13T21:43:00Z","type":"item","id":"Q1820151","labels":{"en":{"language":"en","value":"The Hanf number of stationary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993560"}},"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":"Q1820151$34DA74FB-318E-42AA-84F2-DD79CD9A6A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb97269abf5eb96fe714a0c21cc719bcdd78721c","datavalue":{"value":{"text":"The Hanf number of stationary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820151$ED02DC83-92DE-4FA9-9295-05DE67BA7E9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff848d711a11778a9f54deb915821db384d40c0","datavalue":{"value":"0614.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$522F8EF5-0D76-4E62-8A93-A5245FD65215","rank":"normal"}],"P16":[{"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":"Q1820151$8F9976BF-CBAF-4BF5-B907-5C1A350B523A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820151$331794E7-E192-4553-83F0-251060C0ADDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820151$0A899714-2EAD-4DCC-8C7E-FF7D28E1AD5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820151$683A812F-77FE-454B-9588-88AA403C2E50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d209d32ae35939caa15bd3540032e4ce9c808e91","datavalue":{"value":"The Hanf number of a logic is the least cardinal \\(\\kappa\\) such that every sentence with a model of power \\(\\geq \\kappa\\) in fact has arbitrarily large models. For \\(L(Q_ 1)\\) where \\(Q_ 1=''there\\) exist uncountably many'', this number is known to be \\(\\beth_{\\omega}\\). For the logic L(aa) or ''stationary logic'', we show that the Hanf number \\(\\kappa\\) is much larger than \\(\\beth_{\\omega}\\). In fact, \\(\\omega <\\kappa =\\beth_{\\kappa}\\) and \\(\\kappa\\) is at least as large as the Hanf number for logic with quantification over countable sets. In the universe L we show that the Hanf numbers of L(aa) and of second-order logic are the same. The result also holds in L(D) where D is a normal ultrafilter on some cardinal. We also relate the Hanf number of L(aa) to large cardinals, by giving the consistency (relative to the existence of certain large cardinals) of the assertion that it exceeds many measurable cardinals. The main tool for most of these results is Theorem 3.3, which says that \\(\\aleph_ 1\\) is an anomaly in the following sense: while L(aa) behaves nicely on models of power \\(\\aleph_ 1\\), i.e., there is compactness and completeness, there is nevertheless a sentence \\(\\psi\\) of L(aa) with arbitrarily large models, such that \\(\\psi\\) describes models of set theory in which every countable subset of the model is an element of the model, as long as the model has power greater than \\(\\aleph_ 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$73F91BBD-ECDE-4E62-9C79-37455DF143D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$13D6DF8F-0FE8-4ACD-A4EE-F1841E5FD2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$43AB0DA6-FE0D-40B2-8482-1BFA917E03F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$13F2BCCF-6399-4CB0-BA10-051A44978CDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1354481d1a9525a62a387e3c4b19caa9bbb1c316","datavalue":{"value":"3993560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$3EF76619-8D7D-4D9D-B65F-1FFE6B4717F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$1244F957-DA19-4193-A663-96DD2DC714D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3846057300f0eb43c19cf8e7a06805b6d7b3728e","datavalue":{"value":"L(aa)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$136E60CB-D665-494E-A288-6760FDB9BB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$05E92690-0261-4A16-9754-ACA205BA2ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$6C4C0ADC-4EB2-4CFF-B70E-600FDE59DD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1056fc20dc3d9ea521860c16cc257a19517c431","datavalue":{"value":"models of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820151$BFC4745F-8D1C-4938-B4B3-DEDD1E78652C","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":"Q1820151$A952A484-B210-423C-877C-A6BF14D04887","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0123663194706350bf644777f1f64e4567b7ec98","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636530","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820151$4AFD7D64-03D0-44B9-8BCE-758E339A1E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15ddfbd8f03a1159fe10dd0f75d35f871538cb79","datavalue":{"value":"W2005396581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$38EA2F2C-C8F5-4B50-8EA5-DFF7E3BAF490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9987cc4077807bae6d6c5dedf40cecb591b7d353","datavalue":{"value":"10.1305/NDJFL/1093636530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820151$D184D49B-B577-4F98-8653-79046ECE5AE8","rank":"normal"}],"P1643":[{"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":"385b3a0cb606c23b7f5ebc39366824a9f08d2788","datavalue":{"value":{"amount":"+0.8638452291488647","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":"Q1820151$4E8134C0-3B73-4F09-ADC9-23202C1586C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b49893d6149e9c2c3eb81a1e720efab5ed601ff","datavalue":{"value":{"entity-type":"item","numeric-id":1820149,"id":"Q1820149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546c19fa7fb2f7a0858f687dd77812fb9c58361b","datavalue":{"value":{"amount":"+0.8632301688194275","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":"Q1820151$50F90580-4259-495A-83F3-A6645BE0F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19845d724d90249e2478186a8da338fd5f450ff","datavalue":{"value":{"entity-type":"item","numeric-id":1102273,"id":"Q1102273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b615b218a0560dfb939871c0f9cd56cd6517e1","datavalue":{"value":{"amount":"+0.8382792472839355","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":"Q1820151$42627B15-BE2A-49ED-9234-8B2DF59A2303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8255b025d54850ab6f6a39d84b962babb61f3d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1756497,"id":"Q1756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083e9a76f9fbdf3a0827a3f1f3d10ecaeb3d16f4","datavalue":{"value":{"amount":"+0.8015490174293518","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":"Q1820151$218436AB-1E42-4EF0-9D0B-840B6A8835DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7ab8d3663e4c4fdfb109c11e7ecb3538552e9f","datavalue":{"value":{"entity-type":"item","numeric-id":759747,"id":"Q759747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9d5956d1a55101a55e884e5e9387385a82f76e","datavalue":{"value":{"amount":"+0.80036461353302","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":"Q1820151$7D1A1AE8-967F-429E-B9D6-26FD8A7332BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Hanf number of stationary logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Hanf_number_of_stationary_logic"}}}}}