{"entities":{"Q1820150":{"pageid":1830892,"ns":120,"title":"Item:Q1820150","lastrevid":49040047,"modified":"2026-01-06T12:31:54Z","type":"item","id":"Q1820150","labels":{"en":{"language":"en","value":"Stationary logic and its friends. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993559"}},"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":"Q1820150$2FB297A4-4588-479C-8AA6-7D0955576556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d5e8db1bc46da65af0b5693a8310368644249de","datavalue":{"value":{"text":"Stationary logic and its friends. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820150$C26AF8FD-B833-432E-A8B1-160DB1056547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00cfe900d8bdbd8608841602f7213ce01d59f6a9","datavalue":{"value":"0614.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$6780C288-0414-4E0D-BA65-39199F423948","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":"Q1820150$4079DAA6-F592-4644-AB28-6A0ED7E729A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab434b340e8fb2070bdba3713f2f4c6339ea5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":908906,"id":"Q908906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820150$970B35E4-A343-4996-94B1-0BC5AA8BCA8B","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":"Q1820150$7F066322-7428-4CE7-9EC1-293544FD3440","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":"Q1820150$36F73438-5756-4EA7-8059-193CED3503A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"461a3167576ca809583159c0508fb59c472075bf","datavalue":{"value":"This paper is the successor to Part I [reviewed above; see Zbl 0614.03032]. The three sections of the paper can be read independently. The first two sections assume some familiarity with stationary logic, denoted L(aa). The third section concerns a closure operation for abstract logic.    In the first section we define, for regular \\(\\lambda\\), the \\(\\lambda\\)- interpretation of L(aa), denoted \\(L(aa^{\\lambda})\\). In this notation, the standard interpretation is \\(L(aa^{\\omega})\\). The most easily understandable case occurs when \\(\\lambda^{<\\lambda}=\\lambda\\). Then for models with universe \\(\\lambda^+\\), \\(aa^{\\lambda}\\) expresses ''for all but a nonstationary set of ordinals of cofinality \\(\\lambda\\) ''. We show if \\(\\lambda^{<\\lambda}=\\lambda\\), then \\(L(aa^{\\lambda})\\) has the same validities as \\(L(aa^{\\omega})\\) and \\(L(aa^{\\lambda})\\) is (\\(\\lambda\\),\\(\\omega)\\)-compact.    The second section is devoted to the proof of the consistency of the following approximation to the \\(\\Delta\\)-closure of L(Q) being contained in L(aa). Suppose \\(L_ 1\\cap L_ 2=L_ 0\\), \\(\\psi_ 1\\in L_ 1(Q)\\) and \\(\\psi_ 2\\in L_ 2(Q)\\). Further suppose every finitely determinate \\(L_ 0\\)-structure either can be expanded to a model of exactly one of \\(\\psi_ 1\\) of \\(\\psi_ 2\\) or can be expanded to a finitely determinate model of exactly one of \\(\\psi_ 1\\) or \\(\\psi_ 2\\). Then there is a sentence \\(\\theta \\in L_ 0(aa)\\) such that every finitely determinate model of \\(\\psi_ 1\\) satisfies \\(\\theta\\) and no finitely determinate model of \\(\\psi_ 2\\) satisfies \\(\\theta\\). (So \\(\\theta\\) separates the reducts of finitely determinate models of \\(\\psi_ 1\\) from those of \\(\\psi_ 2.)\\)    The third section is a prolonged observation motivated by the algebraic intuition that homomorphic images are as fundamental as subalgebras. A common requirement on a logic is that one can talk about definable substructures. However, many common logics, such as L(Q), do not allow us to talk about definable homomorphic images; i.e., modeling out by definable congruences. We show that demanding a logic be congruence closed is innocuous. Every logic has an easily described congruence closure with inherits most of the good properties of the logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$35FA0E26-E3C7-4E78-A117-D59E25B030B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$D47FDC84-C33C-4630-BEA9-8338F6D90526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$95BEC43A-C817-42B9-AA34-E2E3F136136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$0FF2279A-E84D-4CC6-9889-C94FBD3B6587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04a742c6cca76423bdbac29df2a65d8486b69245","datavalue":{"value":"3993559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$F923283B-24F1-49F4-902D-92E770425A90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3846057300f0eb43c19cf8e7a06805b6d7b3728e","datavalue":{"value":"L(aa)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$AC5A59E3-F01E-4EB4-927C-CDE849FDFAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf875737ed48230bc8190e448cc19309327c43e0","datavalue":{"value":"closure operation for abstract logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$572BBADC-6FA1-43B6-AC53-B6A575933E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0df5cf3499791bc2af95ad965a5b3e9dff712b2","datavalue":{"value":"\\(\\lambda \\)-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$17BEC4D2-D0A0-4655-93F2-7550A7F7FC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$99AB6133-0787-4DF9-9969-A7D74306BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e8c91dfbd3f1423d7b4e36033b25c97815abaf","datavalue":{"value":"finitely determinate model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$76B6D24D-26CB-48DD-A29D-2C2E04B96A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b7e58b920f6ec590121e700fbf63172c557542","datavalue":{"value":"definable substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$15BF7206-1243-4643-A86F-B6C5695C8B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e7fb86f5440fb9eb3235c52b66bff7cb396eac","datavalue":{"value":"definable congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$420BAF73-8BA8-46C0-89A0-74262CC113D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820150$76CBB5CD-1461-4B5A-86B4-2B2027FF5B1A","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":"Q1820150$00DCD884-B185-4C8F-BDC4-A6F0391DC82F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d3ea6b91284b765578d10fada66e8477356b162","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636521","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820150$8E6C2E67-D7AB-4495-8361-704239E6D453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ce87fea7789e2c09b1f4993a6d7c13c0efb6405","datavalue":{"value":"W2075570681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$56273A0D-AE39-4959-94A6-729382257C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e22971c059ab0aac1ea68d68e9928c89b5702738","datavalue":{"value":"10.1305/NDJFL/1093636521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820150$1152C51A-FAA6-4A22-BB84-C400F0D52FF9","rank":"normal"}],"P1643":[{"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":"b24a7e98c6869b7f2066b5d4784a6d0526eb5607","datavalue":{"value":{"amount":"+0.8280906081199646","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":"Q1820150$00DE5D24-1764-4503-9862-ED2005F544B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4493f692e5afb03762485b588e48baa253e225e","datavalue":{"value":{"entity-type":"item","numeric-id":3714063,"id":"Q3714063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552caaede18d7028c85ea2eae44c5c20824d044a","datavalue":{"value":{"amount":"+0.8163384795188904","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":"Q1820150$951284D2-27AC-4594-A670-EE30221484D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdc7125cc2609bb872f788926233e7375265250","datavalue":{"value":{"entity-type":"item","numeric-id":1080418,"id":"Q1080418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f56c94c57740e889971b964f87dfa1357df5d7","datavalue":{"value":{"amount":"+0.809169590473175","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":"Q1820150$87196AEC-4DB1-4442-B964-C14FDEC3938A","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":"6d74b1f8cad8ae204bbb9807b3db399d126ea5d5","datavalue":{"value":{"amount":"+0.7986093163490295","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":"Q1820150$13044F06-97D4-4BA5-978F-75DE0E2DB3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3181e2a8f07ce8ff9d70751ec4cb9041c4e0a30","datavalue":{"value":{"entity-type":"item","numeric-id":4527925,"id":"Q4527925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8674248527c6a5890c8380a1de2169257c6ba53","datavalue":{"value":{"amount":"+0.7812216877937317","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":"Q1820150$83DC6C56-E2EC-485B-A401-5F5970BBCC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1820150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1820150"}}}}}