{"entities":{"Q810003":{"pageid":811851,"ns":120,"title":"Item:Q810003","lastrevid":64544004,"modified":"2026-04-11T20:36:42Z","type":"item","id":"Q810003","labels":{"en":{"language":"en","value":"Model-completeness of a theory and evaluation of formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212020"}},"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":"Q810003$31135571-1677-4511-8373-4E404F08BB30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36a1de84e86378cdefc26c2b84c662d7387d5d3d","datavalue":{"value":{"text":"Model-completeness of a theory and evaluation of formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810003$7E2AEF1B-2444-4F52-9468-CC0A7DC748BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8b921b4506ebe3a69f8e8179b00641bd5491f53","datavalue":{"value":"0733.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$9F14B11E-70C8-4B7D-AB9D-6DDA2511D792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c851e2f13ee8409144680fd282a0cbf40300948","datavalue":{"value":"10.1007/BF01980216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$3722A3CB-ACBA-49A6-A880-4A4D004E23AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810003$A3FCBB82-2690-4B96-BBD4-B6FB01ECE5F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q810003$A88BBA3F-4810-4B09-BE43-A1118B63260B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e93d1a4cdf35905ff08c060f835120594334b306","datavalue":{"value":"\\textit{A. Macintyre} [Fundam. Math. 81, 73-89 (1973; Zbl 0317.02065)] considered special model-complete theories, which he defined by the condition that the reducing E-formula does not contain negations (he calls such theories positively model-complete). For example, one such is a field theory in which one can replace \\(x\\neq 0\\) by \\(\\exists z(x\\cdot z=1)\\). In the language of ring theory, this is essentially the only example. Macintyre says [loc. cit.]: ``We would like to see an extension of the above-indicated method to noncommutative biregular rings.'' In Handbook of mathematical logic, 139-180 (1977; Zbl 0443.03001), he extends this problem in the following manner: ``Will there be a model- companion of a theory of certain natural Boolean extensions?...a Boolean extension is a structure of sections of a sheaf over a Boolean space.'' A Boolean space is a complete disconnected compactum (a Stone space).    In this note, some answers are presented to the questions of Macintyre and a connection is established between som traditional questions of the theory of algebraic systems and Heyting-valued (nonstandard in the broad sense) analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$9778F2DD-9E6F-4EBF-BFF2-9C434738E5D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$18671E77-5851-459D-9349-5FBAEB78132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$5E0A1B58-48D7-4C84-ABEC-D7D85C7B07C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$ECBF4FE4-A5CE-4169-AF81-FCFE6BF0FDBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1dd797df89cf811cae3b58259c3f15386f0624","datavalue":{"value":"4212020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810003$C35057DA-A91C-47ED-8430-79752C0A5DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f09e3f24bf7bc33c116ba344641517617256d3","datavalue":{"value":"Heyting-valued analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$B554FD0C-3CB6-44D2-AE0E-149FBD3DB889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3ac2b1f7d094763a433859bf05c9f2a62f64ae","datavalue":{"value":"model-complete theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$E6EEB919-A644-49ED-99B7-C3790EBD929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2514bd5acd4342fc8e70622c65df55924acbbdb4","datavalue":{"value":"noncommutative biregular rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$23FE3319-5DFB-407F-8080-B3D6F56DD8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e235d9897b8e0294c3c713d940c680581f42a962","datavalue":{"value":"model-companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$B93BBA8D-086F-43B6-A010-ED649B136645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17ee7b6a410da9d421a4193ce420ce02808ea99","datavalue":{"value":"Boolean extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$E002AFCB-5250-4826-9730-74261919F2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6647a143794d31a85066f94c13e6a4b4f4a46b0","datavalue":{"value":"sections of a sheaf over a Boolean space","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$C666EC5E-3281-43F7-84F3-3616A919669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4d23638b7aabc54391a0427133fbcdc135e66f","datavalue":{"value":"complete disconnected compactum","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$AE3EB30F-60FE-4928-92A9-0B33A8B7E56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4c1d1575eedf8fbbdbaa59c1a66149f41315e7","datavalue":{"value":"Stone space","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$4130464E-0F62-4CA2-9F90-C81A9B172BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q810003$42016444-342C-4BAB-A69A-533A6BE8C2E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e942b7c523827b4672341da17b11181636aba381","datavalue":{"value":{"entity-type":"item","numeric-id":440691,"id":"Q440691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810003$4E1079CB-9C32-4FC2-B0D7-997D555AE969","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":"Q810003$F5FDC32D-E0CB-48F7-A25F-0859602C6D3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7f9ad5c2be87133f3c22ce0e2581c681b5fd00","datavalue":{"value":{"entity-type":"item","numeric-id":4078018,"id":"Q4078018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810003$17006581-7B88-442B-98B5-805849370D8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c59bc2db588d97b2cf5a184231254d00dc72aa","datavalue":{"value":{"entity-type":"item","numeric-id":3748272,"id":"Q3748272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a3250707ef7c92e8afb1c18d3f95258b39821b","datavalue":{"value":{"amount":"+0.7577019333839417","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":"Q810003$F1C1ADA3-4F57-4FD4-BEF7-0D24AD16B730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1eb5c0da1648368b5dd0d5d33ea760765b4a81","datavalue":{"value":{"entity-type":"item","numeric-id":5750851,"id":"Q5750851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365009d5f87ecf80b122eb79b3c08f99af548bc8","datavalue":{"value":{"amount":"+0.7504834532737732","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":"Q810003$15DA7009-0123-4FAF-904A-ED5A3124B8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1824730cd5853daf0eb11a791356f90f6ceacbd","datavalue":{"value":{"entity-type":"item","numeric-id":4207897,"id":"Q4207897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db020bc99b0e93385a8708aafe144f1fb617d9c","datavalue":{"value":{"amount":"+0.7430410385131836","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":"Q810003$5FC0064E-6F2F-4CD8-9705-61E5C7C415A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc077a6da5270b0f3e8cb1a0828c58e5dad8494","datavalue":{"value":{"entity-type":"item","numeric-id":4032663,"id":"Q4032663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b3f3f8779252b013342e48c856b6ff40b42d73","datavalue":{"value":{"amount":"+0.7398510575294495","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":"Q810003$A8E06AEF-B11E-46B1-AB34-34EBBB085FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550ac5ae3b17354266546d4b5fb400370f43dff4","datavalue":{"value":{"entity-type":"item","numeric-id":2391092,"id":"Q2391092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb839e9ddc53e532e39a33bb1686d27cbbaa3b9","datavalue":{"value":{"amount":"+0.7371295690536499","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":"Q810003$8F17A0BC-9DE9-46CF-9D37-8260971EE746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-completeness of a theory and evaluation of formulas","badges":[]}}}}}