{"entities":{"Q1372155":{"pageid":1382895,"ns":120,"title":"Item:Q1372155","lastrevid":67693704,"modified":"2026-04-12T19:24:14Z","type":"item","id":"Q1372155","labels":{"en":{"language":"en","value":"Model completions and r-Heyting categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1084238"}},"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":"Q1372155$27902FEB-A7DE-4554-8E93-82C708F1DCC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd31090c9b729bc4ba9069403ad5298ccecb7d3","datavalue":{"value":{"text":"Model completions and r-Heyting categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372155$9AE6EDAD-7A08-4F45-B455-6F6F23683F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be6cdde18782a33d84bb3913cce901c1146d6a3d","datavalue":{"value":"0888.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$946363B1-8E48-4121-9EF0-8C8841F59566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26fbd00e1761142af1bbe778ae80de6c696cae4c","datavalue":{"value":"10.1016/S0168-0072(97)00012-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$9F7285A7-F5C6-481D-A041-95472A2AC311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$CD6AD692-6A4C-40FD-872D-14F6529F90C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$99D174FE-96BC-455A-95B5-602557909E1B","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":"Q1372155$6BBA7C8B-4265-4C4E-9395-FC42BA4A4B96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93e6d88016751db6ff910108db9b8261e5ed80ce","datavalue":{"value":{"time":"+1998-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372155$ACFE9FA0-8400-4F83-97C9-BDDAF161CAFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a87dfa436e3e0be899e558595a8e7ad348650eda","datavalue":{"value":"Using a syntactic version of Pitts' Theorem, the authors show in a first section that the first-order theory of Heyting algebras admits a model completion and that the opposite of the category of finitely represented Heyting algebras is a Heyting category. Following a brief recall of some notions concerning finitely represented algebras and the consideration of \\(r\\)-Heyting categories and their basic properties, a generalisation of the observation about Heyting algebras is proved in the next sections.   Let \\(T\\) be an equational theory. Then the main result says that, under the assumption that the posets of regular subobjects of the opposite \\({\\mathbf T}\\) of the category of locally presented \\(T\\)-algebras carry a Heyting algebra structure which is pullback-stable, \\(T\\) admits a model completion iff \\({\\mathbf T}\\) is an \\(r\\)-Heyting category. The assumption above is equivalent to a conjunction of well-known notions from universal algebra.   In an appendix it is shown that there are exactly 8 varieties of Heyting algebras whose theory admits a model completion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$EE232285-F6F3-4BA6-A665-D3E5AD437F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$C45D8ED0-1208-4A0D-B5E8-DFB6352E4DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$EF4073CC-04B1-4C18-939A-6E82C4765DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$D2F974DF-EB38-45F1-80B5-214CC9C8B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$D6DDC1AA-FF35-49D2-88A4-74A82FD804FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$300E6308-F383-41F6-84DB-B43FDAB1A035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$6DF31442-E56C-4984-9519-38962A6A44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$E96472C9-A716-439E-A2B0-2A9CEAE53333","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e951c6c73fe6d0a032b052c08f29bcec31bd091","datavalue":{"value":"1084238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372155$82D708D7-F81D-4DCC-8290-EF0FC0B1E1E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$66E4F178-193F-40F4-970A-0A25857DB927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e84c320c45eee5363c08d979a815f5c71b76fd","datavalue":{"value":"categorical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$8EE3AE03-9344-4EBF-A15A-017600E08107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675bb0b83e1a2c62e03f8a588a7875c817f80f27","datavalue":{"value":"\\(r\\)-regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$9C44875F-734A-4D38-9447-104816243D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a6282aa47cf7983ba063938214d0c00cab1501a","datavalue":{"value":"quantifier-elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$AAF2EC83-8415-450B-97E4-1BD877F32289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46662f9f368095123a8e8feb76a5af075dbf4b3a","datavalue":{"value":"category of locally presented \\(T\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$C0E9EB13-744F-43A5-8902-AC26DED0C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fce368fa9dc525167c5c82f3106ff32a0eb8b95","datavalue":{"value":"first-order theory of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$141DDE04-6296-475E-B260-11163C4464C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$28A77611-691F-4083-88B3-B0D8D2B0317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334178410d641cf01ce4ab5ab01aec4b9f7fca9f","datavalue":{"value":"category of finitely represented Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$E0C9D7B1-6353-4E94-B59C-6C43FAEAC6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e14f56daf968c01ac9e8abbd34616dc2a998e1","datavalue":{"value":"Heyting category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$E0ACCB0A-8EEA-4036-BE94-221EA4AC1499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$EA4C5BBF-CDAC-49EC-B57D-B2B0743F8246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372155$B9370DDA-1DD7-4942-81E8-4F461314868D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$6278E577-D9E4-4595-8330-D84903D2A8CD","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":"Q1372155$40890021-8001-4414-9DBE-E0C8C9D2D3B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e1cd0f981fc637dfa521d731484d6fd8fe089","datavalue":{"value":{"entity-type":"item","numeric-id":1084490,"id":"Q1084490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$77440254-C0C3-4660-8658-8034C99E3EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$F97A8CA4-DE31-4035-A97C-A01031C6CCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3881e56621445d38a1c0d984207a73ba542d879f","datavalue":{"value":{"entity-type":"item","numeric-id":1061158,"id":"Q1061158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$A97CD227-3849-4836-B29F-27C9DBC3F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$06CDA9AC-22FD-4E30-88EC-784811E82B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$93E438F7-E929-4FF5-970E-DCF51C08266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$1A3584BC-24D2-4C1E-BAC3-1E852FDC4DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b3ce90c4deb9f6127a52a430d218ebd8c1f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4858826,"id":"Q4858826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$D4BA260E-B9F2-44D5-90D8-6E75B26A4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352ffea4175f3660cfe13292365d0074611b9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1146705,"id":"Q1146705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$F8BBCA91-ED9A-400C-B865-FC917068B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$F7A905C3-35D0-4BCB-8B0D-18BE046EF45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$1F9F0606-5B8A-40E6-8748-FE65F77F212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5480e757641876cfc6bde3997aa64170539f0617","datavalue":{"value":{"entity-type":"item","numeric-id":3363966,"id":"Q3363966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$4A966CF4-91A8-496F-9421-ED0463156852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db426aecf011f6a4f9247eb5c7f5150dabacc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$45224B4B-2C9C-4FDF-9364-41CCAF5E2714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$CC356671-EB75-421F-89FC-842159DADB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8697b2094016b1d14d9b7d46af4849fe91f1c6af","datavalue":{"value":{"entity-type":"item","numeric-id":1254309,"id":"Q1254309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372155$D6039C7A-C0DC-4164-9C4D-22A3BB0B6E48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729a3d9c177696e621aeb530eec3a5d844dda6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4575123,"id":"Q4575123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc651066376cf273d6440240630f64bd6235927","datavalue":{"value":{"amount":"+0.8510619401931763","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":"Q1372155$02B38F13-0398-43C5-9661-04DD36311EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee608b393463611c492e5fc8554fdab74ad3018","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615ea79f244e4465ccb7965cb5b72e9d7387d1f4","datavalue":{"value":{"amount":"+0.8222842812538147","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":"Q1372155$17158512-9A3C-4C48-8D28-363AA8E707FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8af61555a655fe10afa5074627366cc3afafaf","datavalue":{"value":{"amount":"+0.7686190009117126","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":"Q1372155$7811007B-CF7B-47A0-896C-9461DD69F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad8131e84299f24991e38d1f71f7e3a2a0e238b","datavalue":{"value":{"entity-type":"item","numeric-id":2062218,"id":"Q2062218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f7c6be53ff9c4a1b5a8d214f5364429a2dbaf7","datavalue":{"value":{"amount":"+0.7682741284370422","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":"Q1372155$24B12874-3C85-4A8B-A668-330520DDA968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model completions and r-Heyting categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_completions_and_r-Heyting_categories"}}}}}