{"entities":{"Q762061":{"pageid":763910,"ns":120,"title":"Item:Q762061","lastrevid":48782515,"modified":"2026-01-05T20:36:25Z","type":"item","id":"Q762061","labels":{"en":{"language":"en","value":"Model theory for \\(L_{\\infty \\omega _ 1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889513"}},"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":"Q762061$E0000817-193E-4E15-ABDA-0F898F47B455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59751013452e817ec3495e8ddd7ebd946396f3da","datavalue":{"value":{"text":"Model theory for \\(L_{\\infty \\omega _ 1}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762061$9420E15A-B2D6-4EA6-8C55-4C067EFE6D0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a78039bf3619031571fd5cadd4c585b8d68efa0","datavalue":{"value":"0558.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762061$50E0DE77-2C2A-46E3-BA0B-460EA244EE01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbe1af1b3dbc132fa1bf1039d751ce086620ee82","datavalue":{"value":"10.1016/0168-0072(84)90012-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762061$1852E643-BC65-406C-B41B-17726AB7F7B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$605DE5B4-8787-491E-889D-92EAD22E8970","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":"Q762061$5D15DEFA-D35F-4324-BC61-FCE33DBD7882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762061$7B0CD5D1-E910-4856-92CD-925BF3F564EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1d9e1f93b442d60c547ef89b87298c61955b661","datavalue":{"value":"The fact that finiteness can be expressed in the infinitary language \\(L_{\\infty,\\omega}\\) is a barrier to a general compactness result for \\(L_{\\infty,\\omega}\\). However Barwise and Kreisel showed how to obtain a useful version of ''compactness'' by looking at certain countable fragments of \\(L_{\\infty,\\omega}\\). Similarly, the fact that well-foundness is expressible in \\(L_{\\infty,\\omega_ 1}\\) has been a stumbling block to compactness results for (uncountable) fragments of \\(L_{\\infty,\\omega_ 1}\\). In the paper it is shown that provided one restricts oneself to ''effectively scattered'' theories of \\(L_{\\infty,\\omega_ 1}\\), a compactness theorem holds. The paper ends with some applications. However it is still too early to see if this compactness theorem will be as useful as Barwise's compactness theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762061$B96399CC-60F7-4BFF-993C-3938A57EFEA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762061$4CD01681-1DDC-47D9-A094-2C73FFD66733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1d02059ac9159f0208f21b16c4c60d0813bd23d","datavalue":{"value":"3889513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762061$56BE1D96-C625-4F13-A2D9-D35CB48DA16D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0691b52ae80bc89859fce1564499fde4c68c93ee","datavalue":{"value":"infinitary language","type":"string"},"datatype":"string"},"type":"statement","id":"Q762061$505635AA-1702-4FAC-A7F0-47D36664892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q762061$F0F2A6D0-CF62-44F5-AAF5-58916FECF6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q762061$DC9207E2-C0AC-4F41-ADAC-816FB347110B","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":"Q762061$A28E1E3A-BF8A-4271-A592-745D2C0CBC09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"697934033aef248e762922917c56cb860dda6ed2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90012-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q762061$13C99434-4401-42F7-AC54-C6CB6CF7C72C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2817c6949b4ffee75d67eb2a3c5eb72284eaea9b","datavalue":{"value":"W2061944844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762061$7C92BB17-06EA-4DCA-BB39-0177481A946F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb240c2d96b404c86cd73082f8ce049836f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5618341,"id":"Q5618341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$78073B59-75E0-4F69-822F-02196858B95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$CC0D678A-0F03-419D-9A4C-8DCBCF9176B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133b74af7d5821d23702be11600a40ece90371a","datavalue":{"value":{"entity-type":"item","numeric-id":5645404,"id":"Q5645404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$418700A5-A819-4FD3-82ED-619C687051A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cf81cdb8d0c75b884815a320b4be63e72a937c","datavalue":{"value":{"entity-type":"item","numeric-id":1224571,"id":"Q1224571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$3AB931A7-9284-42A6-B01F-C2C38F9EEAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$7E40163A-DCE4-42A7-9391-1249CF602997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c00a4cc64488966ab5d10b55bfe9e2890d59910","datavalue":{"value":{"entity-type":"item","numeric-id":3966126,"id":"Q3966126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$ECECB941-D476-4131-BDEA-73C0C7069D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e672a7dfe78d4b9cc1f581854952143d695a642e","datavalue":{"value":{"entity-type":"item","numeric-id":3955346,"id":"Q3955346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$470CB0EF-5BCC-43EC-8F8B-ACEAC3A46B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01f5026871a487f1218a49f7751ddae0e660eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1055768,"id":"Q1055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$039E42D5-8E73-4114-909F-1126E8A63BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c902ec2af1ac6c0f24f579e931caa59e4b393e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3309821,"id":"Q3309821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$5C7A9F58-8080-4370-9015-D18D3E161A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$E656C05E-7B4B-4524-9FDE-75D6A9B55FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4999612a16be8a3e90303d96e2839d9fdbab39","datavalue":{"value":{"entity-type":"item","numeric-id":5592229,"id":"Q5592229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$149DF7B9-48BE-4B80-B7B5-480BE1222004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e22c17c675f398a659b1f67080facc9871d4b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4055986,"id":"Q4055986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$A8A2640B-CA1E-4436-8297-B23BDB48980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a825d2dbf52ce6c4160ff38184e0a1a02ba46c18","datavalue":{"value":{"entity-type":"item","numeric-id":1142207,"id":"Q1142207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$F83E9C6A-D798-44C3-8947-FFF80C423812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762061$548B2E7E-7BF3-4B22-AD0A-98F374B63D33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35af5f1df1cea7c34ed0c25af12d2f99689c6d82","datavalue":{"value":{"entity-type":"item","numeric-id":4678932,"id":"Q4678932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcac788993bc4a02097f56d6b966d098d1210d6","datavalue":{"value":{"amount":"+0.7646002769470215","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":"Q762061$DE6A4700-259E-48B0-A935-302D043BE543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6707ce23dd28d1547fb4780540529a407d334aec","datavalue":{"value":{"entity-type":"item","numeric-id":1901896,"id":"Q1901896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5123cd04fc2009b43c21b58453fae47dd253c4c9","datavalue":{"value":{"amount":"+0.761681318283081","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":"Q762061$F6C6FA8A-4B30-466B-A079-B0252603C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fa3ab295db73d52fddf179c361c2d6f9ae0add","datavalue":{"value":{"entity-type":"item","numeric-id":5403101,"id":"Q5403101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72de5fbd931f93f20e9825a26abb410493e47cb","datavalue":{"value":{"amount":"+0.7582122683525085","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":"Q762061$2EC052EE-9A97-4CAA-9498-B8CC65A2D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae035405c3d91b9741d3739a292e33ba7cb16574","datavalue":{"value":{"entity-type":"item","numeric-id":1765098,"id":"Q1765098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ef9016ebd8e0fe7457712015de859dc08da59f","datavalue":{"value":{"amount":"+0.7559623122215271","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":"Q762061$809AFEF8-5D53-4790-899D-58948AD4EE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab682587f386ecf6d5a533e3549ef35b5956d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3684110,"id":"Q3684110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b759765b44582ffaf5af52b7f1bfe99b0de2a9","datavalue":{"value":{"amount":"+0.7510424256324768","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":"Q762061$4DC4C4E6-524B-4234-B0CA-0D3D993B6D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:762061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:762061"}}}}}