{"entities":{"Q757362":{"pageid":759211,"ns":120,"title":"Item:Q757362","lastrevid":64107255,"modified":"2026-04-11T17:41:20Z","type":"item","id":"Q757362","labels":{"en":{"language":"en","value":"Intuitionistic typical ambiguity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191622"}},"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":"Q757362$81746CA3-6851-49A8-81FA-4BCEC5B2CDE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7090f32f959711f93312e85b518110e9ac40074f","datavalue":{"value":{"text":"Intuitionistic typical ambiguity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757362$8B7ECD03-14D3-4237-9C6A-FC9908542F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b88e14abc6f44426039e9555ca3c7a11e7a176b1","datavalue":{"value":"0723.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$D212AD7F-B3C9-4937-9BF4-43761A1BC7E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98cd7b51fc096183aae65543318c0e3b5d390e15","datavalue":{"value":"10.1007/BF01269945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$4CCAAB02-21FC-4BA8-A5FF-C4714C4A9C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59478680be7ec5354913162474d097f9da517bf6","datavalue":{"value":{"entity-type":"item","numeric-id":757361,"id":"Q757361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$AF34A72A-C298-407A-ADBF-CDCF553E1F2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$F153A372-CF26-4E43-AB55-743FE718975C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q757362$415AC961-2817-4742-BB44-0B658C0875BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b2ba7e53616ce2381ac491bc499930ebd361fe0","datavalue":{"value":"This paper is about typical ambiguity as defined for Russell's Simple Type Theory (TT) by \\textit{E. Specker} [Logic, Methodology and Philosophy of Science, Proc. 1960 Int. Congr. 116-124 (1962; Zbl 0156.021)]. It proves, in a model theoretical way, an intuitionistic version of Specker's results, including the equi-consistency of \\(TT^*\\) and NF, where \\(TT^*\\) is obtained by adding ``ambiguity axioms'' to an intuitionistic version of TT, and NF is an intuitionistic version of Quine's ``New Foundations''. The paper includes some results in Kripke model theory (a.o. a saturation theorem). Finally, two classically equivalent formulations of the ambiguity axiom schema are proved not to be intuitionistically equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$EA0D6687-76B9-46CB-8212-3D58B1C00E2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$03ECFF02-C0DB-4170-8820-55A9B9B88F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$2BE2A0CC-9102-4527-B670-A8EDD984277D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"258776caf679f6d75effda7b0bf394df9e738b86","datavalue":{"value":"4191622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$EC909813-00F5-4673-96DC-A681328000C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"494f28773c209242339d0e0045c713b7bb73f23d","datavalue":{"value":"intuitionistic version of Quine's New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$17072172-5682-47C9-A393-A9AC1C73169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49922d29201cc77c16b8678adf34722af2fc7af2","datavalue":{"value":"intuitionistic version of Russel's Simple Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$A04B1150-F512-4970-8483-3B513B44C753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a82ba05d9cde43518b6b8c6d442ae5cb8359ce","datavalue":{"value":"equi-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$1F67AB90-5FA6-4817-9A1B-132A9B2CDAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18de20abf11e462152c992b08a95d132940f3150","datavalue":{"value":"ambiguity axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$69D7BEE6-92EF-4554-A016-9F8AB149B676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q757362$9D5B8D55-8706-49E1-B6CC-A89C3C3F017E","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":"Q757362$E2DEB4BA-085D-4FBF-8682-6BC3EE773EEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f331b826143af7e0225a5880040a336519fe894","datavalue":{"value":{"entity-type":"item","numeric-id":1252850,"id":"Q1252850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$80817127-3257-45E5-AA24-358A2C601A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71236be540a967d204aeb7e1a8342631fe89062a","datavalue":{"value":{"entity-type":"item","numeric-id":4189270,"id":"Q4189270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$3B362A76-A04E-4807-999F-17C4CA6D9E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53f41f5cf361d1f3a8afdfb23d296ba8ce2290e","datavalue":{"value":{"entity-type":"item","numeric-id":2556402,"id":"Q2556402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$DA073650-C473-4EF2-A84F-4BE12A63B75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2db33bdf308a7fe9ab8a6c0787b5402354bd62","datavalue":{"value":{"entity-type":"item","numeric-id":5652672,"id":"Q5652672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$B95313DB-C6CD-4F4C-AE2C-11053F9B812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a7d951f39d53c3e606760427f9f6805a1e9307","datavalue":{"value":{"entity-type":"item","numeric-id":3984422,"id":"Q3984422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$98B9BA19-5C8B-4BC6-91BF-B87D07F759FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757362$8E63C22A-02A3-4205-A47F-F39C18CF04E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49dd9f51fa8aae6761b86fdeb07fd64107799ae0","datavalue":{"value":"https://doi.org/10.1007/bf01269945","type":"string"},"datatype":"url"},"type":"statement","id":"Q757362$3517EADE-7CDC-4399-98F9-A97D51267CC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"022054214108825d6dc5bfc8309bdf560dfc7a85","datavalue":{"value":"W2019777151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757362$15EF7BF8-CA46-46F4-95D7-3AC438E2950B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69061851710acc44da66818a8f6a8cae7c2c5ff","datavalue":{"value":{"entity-type":"item","numeric-id":4842637,"id":"Q4842637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd38eba0d22d297cf6f2dc009d02ea790f139bf","datavalue":{"value":{"amount":"+0.8189969658851624","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":"Q757362$E91CB76A-0334-4258-9805-253A77DA0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bded737563bb150b9836ecc594479387f60b77f8","datavalue":{"value":{"entity-type":"item","numeric-id":4304781,"id":"Q4304781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c155abcc99d40ff658562fd175c6fd0fdf9c42b4","datavalue":{"value":{"amount":"+0.817527711391449","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":"Q757362$C507BE3B-386E-49A3-9AE6-B788723CF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a6656dbf11f95ddb6cffb4fb41927f70bcdffc","datavalue":{"value":{"entity-type":"item","numeric-id":3689178,"id":"Q3689178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5b63109844f5891f4bd1e776cd359aabbe24b8","datavalue":{"value":{"amount":"+0.7998761534690857","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":"Q757362$16E681FC-E55B-4012-A57C-88C7E73F0B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da2f6cd90c32ea3c71858957bc11d7bb7437a1","datavalue":{"value":{"entity-type":"item","numeric-id":3778016,"id":"Q3778016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2777b7ffcdd7d4a8233dadaff0d6ee1bb8acbce","datavalue":{"value":{"amount":"+0.7831359505653381","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":"Q757362$F1F0757E-BC0F-4125-B6CB-5C5CAD93F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075fcd34a4592948a87843444960ccd267513921","datavalue":{"value":{"entity-type":"item","numeric-id":3216642,"id":"Q3216642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bfe8113742300defd3e34124de3e8bd294ac4c","datavalue":{"value":{"amount":"+0.7780680656433105","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":"Q757362$FACD3124-A0D8-454A-BFF1-4095089C0616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic typical ambiguity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_typical_ambiguity"}}}}}