{"entities":{"Q1625589":{"pageid":1636330,"ns":120,"title":"Item:Q1625589","lastrevid":72839877,"modified":"2026-04-14T08:10:48Z","type":"item","id":"Q1625589","labels":{"en":{"language":"en","value":"Infinitary first-order categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6986590"}},"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":"Q1625589$096DD094-D1EF-4DBE-9BC1-3CA333DF090C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d66b8f8a18ab826979aefecfe17f4461fb040bc","datavalue":{"value":{"text":"Infinitary first-order categorical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1625589$4EDF1D6E-136F-46E4-9215-1E21C3807AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6f49c1f9984301f7b8d7233689d4b9be06411b7","datavalue":{"value":"1445.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$A618663B-5376-428D-BEBE-17FE1435382B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43cb4ceece8110a638d00a20c037f220289116be","datavalue":{"value":{"entity-type":"item","numeric-id":286707,"id":"Q286707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$E5498FB4-D7A4-4ECD-8C16-0BA6A14400CA","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":"Q1625589$F7816D64-C37A-4676-8EDE-2DD5DC54F5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90fc82896c37d679c242bb4883bc4b47e7985482","datavalue":{"value":{"time":"+2018-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1625589$EAE6786D-5D88-4950-A97D-0EDCA7CC1F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ad2cd5992a2b8d14eb9a38fa02a838ff290fe96","datavalue":{"value":"https://arxiv.org/abs/1701.01301","type":"string"},"datatype":"url"},"type":"statement","id":"Q1625589$416511C1-1620-4065-A0CE-B026380391A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79b39e43668594f6765b1daa7f8645ad010ce164","datavalue":{"value":"\\textit{C. R. Karp} [Languages with expressions of infinite length. Amsterdam: North-Holland Publishing Company (1964; Zbl 0127.00901)] obtained completeness theorems for classical infinitary propositional and first-order logics with Hilbert-type systems, while a related development with Gentzen-type systems were to be seen in [\\textit{S. Maehara} and \\textit{G. Takeuti}, J. Math. Soc. Japan 13, 357--370 (1962; Zbl 0108.00203)]. \\textit{M. E. Nadel} [Ann. Math. Logic 14, 159--191 (1978; Zbl 0406.03055)] developed infinitary intuitionistic propositional logic for countable many conjunctions/disjunctions to establish its completeness with respect to the infinitary version of Kripke semantics. \\textit{M. Makkai} [Ann. Pure Appl. Logic 47, No. 3, 225--268 (1990; Zbl 0711.03030)] considered infinitary regular theories together with a corresponding completeness result.   The principal objective in this paper is to establish completeness for infinitary intuitionistic propositional and first-order logics with respect to infinitary Kripke semantics, as well as for sheaf and categorical models. The desired completeness is obtained by manipulating sheaf models in place of \\textit{L. Henkin}'s method of adding constants [J. Symb. Log. 14, 159--166 (1949; Zbl 0034.00602)]. The crucial contribution is the identification of the transfinite transitivity property, being a generalization of the transitivity property for Grothendieck topologies, as the appropriate categorical property leading to the axiomatic treatment proposed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$470DDD71-AE25-4055-9295-B0CBDD49242E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$3F1202C3-24A6-4E8C-930C-203C1D0A4943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$FC3AEA50-C673-4EEC-BF02-B41F52AF1A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$3E58FC13-940C-485B-A307-3A2F31613073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$2F55EFB1-F56A-4CF1-A63D-B7B980DDC02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$3E0A1F86-C312-40B6-A0C1-10D0E3150A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$4C7D45CB-EB7D-4802-827C-63E2CCAD5C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6bd8b31a29ace20437dc64c018f69f4c691ce3c","datavalue":{"value":"6986590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$D75DECC6-73EB-4440-824D-975ACF2D1425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$8283D1E3-23EF-4139-B838-7E07FD76F344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$799A89D8-A986-4EF8-83E6-5E458F4978A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$ABEF9F9F-4DA6-41CB-9383-65673F5065DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec52bb8e5d0a26908ab685fdc35a3d8c06c43b7","datavalue":{"value":"sheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$2F905153-9EC9-47B1-A5D9-61EB145F56DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1625589$415E57D8-2D76-4675-AC03-AEE6008B3F34","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":"Q1625589$16BBE5E6-D654-4F5C-A029-EE8B5BCE8A09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"739d70f59a2304b6e7a6b4740d821fff2656c917","datavalue":{"value":"W2964011735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$22C4170B-A554-4FEA-94E2-6CCFB57F8E32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5bc1e1b4c69bf2feb784d4d05b5be90f9973e6","datavalue":{"value":{"entity-type":"item","numeric-id":1935870,"id":"Q1935870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$464E4C77-FFE9-4594-9F63-35566F19FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddc7b17e2372685cb3e0a9ecc84a40a206e9c34","datavalue":{"value":{"entity-type":"item","numeric-id":3235350,"id":"Q3235350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$8B6B2D02-329E-408A-A6A8-EA35D56A49F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91d609421008f36c8aecac1d4fcc0fc39c191a4","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$8E5347E2-EEFE-4DB7-9E13-24AA1CC7425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$777BEDBC-854E-4845-8BCB-7D881C9F03FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db554ee5e65552a2b667ebc3cadec67f7fe40da","datavalue":{"value":{"entity-type":"item","numeric-id":3936721,"id":"Q3936721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$E57351B7-49AD-45DD-A013-26DA1616AF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$DF90FAD0-BF3A-44E7-8527-70B309AFB795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$34DBE78D-113B-45D2-82C6-7AA56A364DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$DE96A9AF-F8E5-4453-A38B-34B2CA6A0678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$70A432C6-C98D-4BA3-A63C-ACE89E5A4949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371429f546a4764331068bb46ddde929cdbbb450","datavalue":{"value":{"entity-type":"item","numeric-id":5546768,"id":"Q5546768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$24B01622-6415-4D44-B286-2808DF78986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4baeb806f8b5e8099897ee0948c9f54cc40974","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$26EDDF0C-8B5C-430D-AF22-3909A9F1A382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0f46403bc34b02affb3a1f06fe20fa8807fbce","datavalue":{"value":{"entity-type":"item","numeric-id":922544,"id":"Q922544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$AFBD5F83-2F32-4798-9D75-1E2D42886BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$654EC860-AC78-4B38-B556-4276731D4433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4dd219bc36c76e23f52a10b5994ec77daa5c20","datavalue":{"value":{"entity-type":"item","numeric-id":1130508,"id":"Q1130508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$6D36727E-C996-45B3-8CF6-37FB1257762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$1158587C-9C09-4C40-990D-3B5D071DFC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8d1865075f526b53bec8c7ab8cda61632af462","datavalue":{"value":{"entity-type":"item","numeric-id":5799970,"id":"Q5799970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1625589$036CBCA7-047F-4D02-BE5B-2B064D807995","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"510572ca2a20bcc1a71ca8a7362f5cfa55b24e26","datavalue":{"value":"Q129272023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$83EACADA-3BBA-4C5A-8187-4564D25C7CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06bda09a1e2f0d971c83f07093da4d262eaa8bf6","datavalue":{"value":"10.1016/J.APAL.2018.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1625589$BC320DF5-3B04-4D73-ACB6-FAE84F8C388A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b583cc996c663254efb6b20a66488980023e11","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a03513209b3977b91413cdbb5d2158700ddd822","datavalue":{"value":{"amount":"+0.7722064852714539","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":"Q1625589$7E67E934-BA11-4AB6-966D-986D642521E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4430c31b3f52c5b357439e156f29a37f6233b46c","datavalue":{"value":{"entity-type":"item","numeric-id":5855752,"id":"Q5855752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a03513209b3977b91413cdbb5d2158700ddd822","datavalue":{"value":{"amount":"+0.7722064852714539","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":"Q1625589$9D1E71B9-042F-4DBA-9B7D-269F7D0247D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db321795a9d37992230e96a72544b27fc195017e","datavalue":{"value":{"entity-type":"item","numeric-id":1238805,"id":"Q1238805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9fd8a7e8da52f3c3e4e9afee67e2a18934ab82","datavalue":{"value":{"amount":"+0.7695603370666504","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":"Q1625589$14FA4474-8D72-4D89-848B-C5CDC38FA955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a53ea7ef327c74383b11b31595ac887d654741","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2362d8e6e68aed1c8fb4742242d00e1ed8174dfe","datavalue":{"value":{"amount":"+0.7641001343727112","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":"Q1625589$39569983-1BB1-4B05-89DA-C11BA3FD72EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d5cba0382620fa569315341c41ee14f432c95a","datavalue":{"value":{"entity-type":"item","numeric-id":3069725,"id":"Q3069725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029be2f2c2f56b2fc9e518fcd2cb785b3fa93838","datavalue":{"value":{"amount":"+0.7516993880271912","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":"Q1625589$0A4917A1-32F1-4F70-BC6D-352CAE750A81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary first-order categorical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_first-order_categorical_logic"}}}}}