{"entities":{"Q1102273":{"pageid":1113025,"ns":120,"title":"Item:Q1102273","lastrevid":66683961,"modified":"2026-04-12T11:55:29Z","type":"item","id":"Q1102273","labels":{"en":{"language":"en","value":"A note on the Hanf number of second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049628"}},"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":"Q1102273$70F669A9-FF46-431A-A926-3AB5F4124C7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8ece4c4fcb634a57f0fad84c2c079b7a339005","datavalue":{"value":{"text":"A note on the Hanf number of second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102273$1F426AF3-3590-44C5-A611-C07BB37CC1D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e276e182e0c6fb4a841d78940aeb3f6790f6a6c","datavalue":{"value":"0644.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$F4CDFAF5-755B-499A-95B1-B905FB9DC99B","rank":"normal"}],"P16":[{"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":"Q1102273$7FFB629B-1B5A-4DAE-815C-EFA4E80A63DE","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":"Q1102273$B55EEB25-B2C1-4232-A6BC-F4A075B95B3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1102273$52615F66-7010-4C0D-8BF9-5B4503D5803E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e3356eeede25601ca61381f6450e1bc5c5b0c4d","datavalue":{"value":"The Hanf number of second order logic is the least cardinal \\(\\kappa\\) such that every sentence of second order logic that has a model of power at least \\(\\kappa\\) has arbitrarily large models. Let \\({\\mathcal P}\\) denote the power-set operation and T the Kripke-Platek axioms in the language \\(\\{\\epsilon\\),\\({\\mathcal P}\\}\\) augmented with the power-set axiom and the axiom that every well-ordering is isomorphic to an ordinal. Consider the following cardinals:    (a) The Hanf-number \\(\\kappa\\) of second order logic,     (b) The least cardinal \\(\\lambda\\) such that whenever \\(V\\vDash \\exists x\\forall y\\phi\\) with \\(\\phi \\in \\Delta_ 0({\\mathcal P})\\), then \\(V\\vDash (\\exists x\\in R_{\\lambda})\\forall y\\phi.\\)     (c) The least cardinal \\(\\mu\\) such that whenever \\(\\psi \\in \\Sigma_ 2({\\mathcal P})\\) and \\(V\\vDash \\psi\\), then \\(R_{\\mu}\\vDash \\psi\\); and whenever \\(\\theta (x)\\in \\Sigma_ 1({\\mathcal P})\\), \\(a\\in R_{\\mu}\\), and \\(V\\vDash \\theta (a)\\), then \\(R_{\\mu}\\vDash \\theta (a).\\)     It is proved in T that if any of the cardinals (a)-(c) exists, they all exist and are equal. The result complements and builds on related results by \\textit{J. Barwise} [J. Symb. Logic 37, 588-594 (1972; Zbl 0281.02020)] and \\textit{H. Friedman} [ibid. 39, 318-324 (1974; Zbl 0293.02039)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102273$796F4809-9C25-4F52-83E9-CDF524EB1099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$9B3E8BC9-701D-4547-9BD6-A5F74BE9272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$F0724DD5-6530-4EC9-AE71-1869A401F75E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6507581b3d2e6aacafb3e1b5a41ee0029da95e97","datavalue":{"value":"4049628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$D8140392-1824-4A1D-9EDF-3C97C43A597F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102273$B7F3640A-B008-49CD-B3AF-B515E43925AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102273$67625E2C-7A63-431B-8E2B-B9CBB071A106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dbacb0f4473b206381d38fc2ccf960f3dc1e4b7","datavalue":{"value":"Kripke-Platek axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102273$7A8F8F8E-47AD-4C12-80F0-D42E0D791885","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":"Q1102273$416C434B-8F2A-44FA-B245-853B59A90AB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd7152b7195b83bfb8a142c4fb488e4a290b1ca9","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870925","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102273$AB1F04AF-09E3-4ACD-86F2-DC154DCD7542","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac3fa195b3d0734337aad04deef8f48d3483cde1","datavalue":{"value":"W2074251720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$2B12A3E1-B643-49B1-BC6B-6ABA01E4552F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cac2b256568aca4446612f4c6118300df8cf33b3","datavalue":{"value":"10.1305/NDJFL/1093870925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102273$E3F5958E-A317-46E3-9EF4-F97C0688BC1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ea8e7a052f58b748f2f91fa85c1f19e6bd8ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1820151,"id":"Q1820151"},"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":"Q1102273$B114AA40-587E-4842-B52A-324CB4B8B5A9","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":"3b8566cbe687ffbd9e2e7312442fa39a371003a2","datavalue":{"value":{"amount":"+0.8097093105316162","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":"Q1102273$BC82816A-2D20-4822-A3AE-DE848BDBB574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb5fa96b1e3cbfc2fab0812388cb4876680d5f6","datavalue":{"value":{"amount":"+0.808668851852417","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":"Q1102273$A9B31990-507E-4BBF-B7A3-32CF2EA1D437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896888298032f848e68194669b313c4c3eee0232","datavalue":{"value":{"entity-type":"item","numeric-id":3018118,"id":"Q3018118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603ae8d9597752c0a782f48fadbfd5379436ff6f","datavalue":{"value":{"amount":"+0.7868322730064392","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":"Q1102273$E43642E4-3BFB-4BE6-A410-3175B8513BB6","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":"6a9fe20c9a4de6e82575b7cfbc67c3772b46b84c","datavalue":{"value":{"amount":"+0.7823854088783264","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":"Q1102273$71DC1158-905A-4311-B891-0C8288A0368D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the Hanf number of second-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_Hanf_number_of_second-order_logic"}}}}}