{"entities":{"Q2373696":{"pageid":2384439,"ns":120,"title":"Item:Q2373696","lastrevid":57886167,"modified":"2026-04-02T23:05:36Z","type":"item","id":"Q2373696","labels":{"en":{"language":"en","value":"Ind- and pro-definable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171323"}},"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":"Q2373696$F7ED3D51-56E3-4DB8-AEA9-91EFC52F670F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b370dbf9d8fd8cb76a3e567837fa12d8478f5351","datavalue":{"value":{"text":"Ind- and pro-definable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373696$D34B1B2F-1017-41A2-A1B8-34C233E8093B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c951030888586dce0e8c831979736e1aee4098","datavalue":{"value":"1132.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$E045DB6B-1BEB-4458-AC56-E58EA7101D56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f55329dd6a25e6f7a5818cfcd0934a6d8f5463","datavalue":{"value":{"entity-type":"item","numeric-id":1047909,"id":"Q1047909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373696$47533F6F-AB82-4D87-87AE-2E133F00AD55","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":"Q2373696$C60BDDC9-A6C5-4480-B7E4-8FBDB8DFBD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373696$A8AE09BF-E646-4BEB-B268-C36DBAD5DBAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1575cd944e567b4d21d804ab6e16ee69d02e3e48","datavalue":{"value":"https://arxiv.org/abs/math/0608163","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373696$549B3F6A-1DC6-431F-85EF-A49201E5BAD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5652b0cf68b842b711146ecec273fca4e8d0c80","datavalue":{"value":"``From the author's introduction: Given a direct limit \\(Y\\) of some system \\(Y_i\\) in a given category, the morphisms from \\(Y\\) to another object \\(X\\) are described, by definition, as a certain collection of morphisms from each \\(Y_i\\) to \\(X\\). In contrast, there is, in general, no simple description of morphisms in the other direction, from \\(X\\) to \\(Y\\). However, if the category in question is, for example, a category of topological spaces, and \\(X\\) is compact, then any morphism from \\(X\\) to \\(Y\\) will factor via some \\(Y_i\\). The category Ind\\(({\\mathcal C})\\) of ind-objects of a category \\(\\mathcal C\\) is a category containing the original category \\(\\mathcal C\\), in which any filtering system has a limit, and the objects of the original category are ``compact'' (or, more formally, finitely presented) in the above sense. This construction, which appears in [\\textit{A. Grothendieck} et al., Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas. Tome 1: Th\u00e9orie des topos. Lect. Notes Math. 269. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0234.00007)], along with the dual construction of pro-objects, can be applied to any category. In the context of first-order logic, and definable sets, there is a natural notion of compactness, and given a system of definable sets, one may compute limits of their points in a given model. The purpose of this note is to describe how the categorical notions of ind- and pro-objects apply to definable sets, and in particular to describe the categories of ind- and pro-definable sets in terms of points in a model.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373696$28C483B0-4E21-4BE1-AD52-988E2DC116DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373696$B0422C4A-6CDA-4246-B655-74909FE025BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$8862670B-6FA3-4553-A60A-F08493C26D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$ECCCF60D-B9BF-4CD0-8EC7-EDD4BBF30889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$A757F9BF-8BCA-4A81-BA76-7650482B3CE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aaf409edab7b9e8fd71571dc18c37f7054b86e1","datavalue":{"value":"5171323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$06C16B1D-D0E1-4B1A-A858-F49A56527378","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ea3b119e3a3ea464efce0b4ee66491f080a1f8","datavalue":{"value":"First-order compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373696$DADD2B81-BA76-4B50-AF0F-22087AC2A19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fc74f7a61a3d76a6c1bb66a0d7fe662bb573de","datavalue":{"value":"Categorical limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373696$C43E50A3-A794-4342-94FF-A13F472B6DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e003f1b480818e6638369382fd757b882a886e7","datavalue":{"value":"Ind-definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373696$532DA48C-FE9B-45ED-98C8-A058C56B5FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be992daf027890b21d7a5cf31306647ca3ac3841","datavalue":{"value":"Pro-definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373696$6B8E418A-97A7-47ED-B0C5-A36EC5B89EEC","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":"Q2373696$5B9308A0-758C-4E73-AA50-B75D64D20B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"109779ca3bb2f55b1af4e5f689833933661c638e","datavalue":{"value":"W2080465022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$8121FCEF-4DAD-4C26-8256-680D2BD1B034","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8a1ed5779791c67355ba949f00762532039722","datavalue":{"value":{"entity-type":"item","numeric-id":749523,"id":"Q749523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373696$78D83952-85C8-47E0-AA61-A45758F3E0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373696$A1CA7D2A-D5E0-41EA-8651-C91E7A2F0D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373696$9577746C-523A-413D-B079-CC3F37527693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ceef4505e4e293170f37f49753122557ed28c7","datavalue":{"value":"10.1016/J.APAL.2007.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373696$9ABCD5DD-88BD-42FA-A4EE-B4D40E46EFF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541ccedd3e93ab8163b29ec374bc8ef81fe5ba4e","datavalue":{"value":{"entity-type":"item","numeric-id":3110904,"id":"Q3110904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee14285f73fc98f7f645ed7defa94cef60741bc3","datavalue":{"value":{"amount":"+0.7423593401908875","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":"Q2373696$4C3907C8-4482-4CC9-A65C-43AFF73CCE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0a93f840fe0fdb78bb1fe0824c3291bd5a90e9","datavalue":{"value":{"entity-type":"item","numeric-id":1689577,"id":"Q1689577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ae7e343d2f9c405f85f957d089060f577f6169","datavalue":{"value":{"amount":"+0.7174843549728394","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":"Q2373696$69D05EFC-6B7A-4A6D-9CA6-AA862A846B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9102d5508adc74c15b9356cd39d0d85c23038b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370952,"id":"Q4370952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0263861f7b61c1bf3a5158044480f0c6a924179","datavalue":{"value":{"amount":"+0.7078171968460083","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":"Q2373696$B39CCDEA-04FF-43D4-BE15-E1A998B3784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8437b0d0bbc7252901d9fb4fda357d03c6e096e","datavalue":{"value":{"entity-type":"item","numeric-id":1383223,"id":"Q1383223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982547ec616fa3d2e86d7b46a4e055f9b3effb6a","datavalue":{"value":{"amount":"+0.7041299343109131","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":"Q2373696$87EB1627-F951-4DEB-B40D-08CB936319EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aaa6652e9d38e4e0df427157968322a35344a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3693677,"id":"Q3693677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f689ea9f4169826e09582837e1c94c650dd6c18a","datavalue":{"value":{"amount":"+0.7040421962738037","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":"Q2373696$7294C452-0AD5-4CF8-85E9-DAEDF63574DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373696"}}}}}