{"entities":{"Q762052":{"pageid":763901,"ns":120,"title":"Item:Q762052","lastrevid":64138371,"modified":"2026-04-11T17:53:49Z","type":"item","id":"Q762052","labels":{"en":{"language":"en","value":"Intensionality in mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889497"}},"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":"Q762052$6541A9E7-4216-4BF5-8417-7D03E86BB394","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9032fdc6e74b2e83b1644ec751cab83b4c42bf3d","datavalue":{"value":{"text":"Intensionality in mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762052$41A238D6-9389-4A48-8319-470B25F4454D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6588e0551529be66163eb9cdf6fac9c13102a52","datavalue":{"value":"0558.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$918BD7C9-4682-483C-9B5B-BC8EF7A15657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e48806e1ab955cb689f4e8df458516cecea03e7d","datavalue":{"value":"10.1007/BF00542648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$B5EE5D3B-8429-4D36-8D1A-C590711D4704","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$18260690-224F-4EE9-8C17-F19B6E5967B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$7C73AAC2-CE17-449D-B86B-EDF1FEDCE440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q762052$9BCC671C-FF56-493A-9EAA-79B3FD2A9EFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e88e0c9f0983a00a0a8284895bd978085ed0c02f","datavalue":{"value":"This is a nice introduction to a form of intensional set-theory in which the identity of classes is determined not by their memberships, but by their explicit presentation in the expressions which define them. These so-called constructive theories, developed by Bishop and others, thus reject the classical principle of extensionality, (\\(\\forall x)(x\\in A\\leftrightarrow x\\in B)\\to A=B\\). To facilitate a point by point comparison with classical theory, the author lays out the Bernays-G\u00f6del theory of sets and classes and shows how it provides a foundation for mathematics. He then defines the constructive theories and shows how they accomplish the same end. He himself, however, prefers an intermediate approach, a theory which contains a full classical logic, including the law of the excluded middle and its first-order counterparts, but adhering to the strict constructivists' method of definition for sets and classes. Underlying acceptance of one form of system or another are some philosophical questions which the author, although certainly aware of them, does not try to answer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762052$2D64A9C6-42C1-40A9-88A3-8088D009E3F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$519DC96F-FF12-4F06-AE2E-475634F8D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$25144078-EE94-42C8-BCAE-26B8829A5610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$4B36BC4C-BE99-47CC-8EF3-444B8AD255BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3363e2323794dd8bd05a58d09661e6e99baffefc","datavalue":{"value":"3889497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762052$47B2F60A-B2E3-45D6-8CB1-567757752FED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9322e1c6fd25e8a806b81d0f77ba508ce12c0c","datavalue":{"value":"intensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q762052$7EB9023B-7FE8-43F1-AE7E-60446AE63003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3497c0a3e0f84ad6043a34fa743337c25da63a","datavalue":{"value":"intensional set-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q762052$7A6FC05A-72C0-41AF-9F61-6E7A9EE05BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5a16dfc0eb3216b6ab78c7524464107c29b1bc","datavalue":{"value":"constructive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q762052$D3844BDF-3154-4B52-820E-32BFF03BDCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64816d0c1d55b330a0b61284847d2ce7f9a36edc","datavalue":{"value":"law of the excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q762052$0A36D224-2053-4167-A26A-54885026BE42","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$0E660E37-C8E9-433D-B9C6-8E96547C9FAD","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":"Q762052$718CE202-766C-4756-A216-73FF49E02FAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbe4952cfd941033c3a61206b1ed1cd165e29a3","datavalue":{"value":{"entity-type":"item","numeric-id":801341,"id":"Q801341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$37F7A17C-5B6B-4A02-BAD1-783EFB9B865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f558ec7270e2c6a25bc65a4c3e1cb1e85be543f0","datavalue":{"value":{"entity-type":"item","numeric-id":4141183,"id":"Q4141183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$947CE2C0-8DD5-43EE-9C00-2014E315DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$37D65D1C-674E-4422-9F66-35E9B574415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906ac180f2abcfa9b32aae4860e71d746ecfa3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4184832,"id":"Q4184832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$B88E75D0-EA2F-4060-A299-F1312AFD54DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0521ab61dcc37f9db6d97ab93057db206779d079","datavalue":{"value":{"entity-type":"item","numeric-id":4163527,"id":"Q4163527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$77F130C7-ACCF-460E-9460-7AAD69FF7FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$01617293-310C-4E87-9AB3-9F7800D9AC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$FEE32FBA-BA66-4D52-BA9E-E59E1E618F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$7B365F55-42CC-4E2F-9765-22BB2C75CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37b51d088d2c45ed7c84e6aa3125a73b3fc8a69","datavalue":{"value":{"entity-type":"item","numeric-id":3663255,"id":"Q3663255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$41E86E44-FC48-43F3-8B7D-B6CD3947D06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$3C632880-D960-4BE2-A266-F7E2D1339787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c305176bb7466ed334ef2b429727fb3aee283b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3699688,"id":"Q3699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$8A61EB65-3F32-44D8-928A-B6CC737DE7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$FCCBCEEA-3488-4F0B-8E9E-EFAF46BA80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$A50FB0C2-A72E-47B3-AC93-47AF18320361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762052$BBA5DA6B-D8AC-4407-B232-AB8E13F529AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a41c04e7e412331ebb8434d80beb50bd4dffc7","datavalue":{"value":{"entity-type":"item","numeric-id":3347873,"id":"Q3347873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7ccec7a3dc5a3fad791b746c5990c62c2310cf","datavalue":{"value":{"amount":"+0.7995778918266296","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":"Q762052$80BF8C1D-FE46-4358-8D8B-948FE445C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2658246e8c24ff6072f17713cd70856d83c95e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5711932,"id":"Q5711932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145147eed6647252bd6611362c45645a320c2da1","datavalue":{"value":{"amount":"+0.7424520254135132","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":"Q762052$4C92130B-AB71-4000-8906-92BC2F7AAF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efaada26b50687ad4ca3c9384fecb55094989fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4370284,"id":"Q4370284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4741484c99b741058da12cc7666ac989be3481bc","datavalue":{"value":{"amount":"+0.7357522249221802","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":"Q762052$DAA49D6E-FF4C-4CE3-881F-94058AECFFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebaeb24d669e8c4387b500d08e63ac916669834","datavalue":{"value":{"entity-type":"item","numeric-id":3720593,"id":"Q3720593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c26caec9db1394cb1d48acee4466debaf1ede6","datavalue":{"value":{"amount":"+0.7347509264945984","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":"Q762052$2046640C-AD7D-43A4-B7F7-1F73C08468AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e8159d7f0ea0965faf7aad3abcf2b95d2982d9","datavalue":{"value":{"entity-type":"item","numeric-id":2695034,"id":"Q2695034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4924b936daddcbdf3b0081f34964c9706925cf","datavalue":{"value":{"amount":"+0.7241826057434082","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":"Q762052$17933B58-87D5-43DB-BA88-0DBFEE99F7F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intensionality in mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intensionality_in_mathematics"}}}}}