{"entities":{"Q1402586":{"pageid":1413326,"ns":120,"title":"Item:Q1402586","lastrevid":67358460,"modified":"2026-04-12T17:05:25Z","type":"item","id":"Q1402586","labels":{"en":{"language":"en","value":"The undecidability of Gri\u0161in's set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1972199"}},"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":"Q1402586$50A79A10-835D-4FC0-9B0F-26277F1E30B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80feb0335bd3b2a5208b38bd77772e1f6729e9dc","datavalue":{"value":{"text":"The undecidability of Gri\u0161in's set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402586$FA27C4FA-9606-45D0-B604-2E6CDD8E7E66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74eee3baade78d8beb356604b1f65aee2d6f5fae","datavalue":{"value":"1039.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$F7A5DF34-E827-4E71-8005-BC3184C86DEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9883bd838a643b2e8a3f9b10fc3e0193e5d937f","datavalue":{"value":"10.1023/A:1025159016268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$4B1328C6-AEAB-48AE-81A4-9D9F9C442763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402586$5BEDBE10-B65E-47AF-BE58-8F563372DD26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402586$2B758E15-6FDF-4A75-BBA0-0B8D6D966C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c32244d5bf7763be38ef1ab093764c99c644cc51","datavalue":{"value":{"time":"+2003-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402586$1A136865-B286-4078-9FB9-4FC5823302EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"553ed4c60197d2b0713c9df8e08c12f5dbec2939","datavalue":{"value":"Taking account of the crucial role of contraction in the derivation of Russell's contradiction, Grisin proposed a set theory GS of naive comprehension based on contraction-free logic and showed its consistency by cut elimination. In this paper, the author investigates the system GS in more detail. The main issue is that GS proves a form of the second recursion theorem for predicates, which is applied to an embedding of pure combinatory logic in the system giving rise to the undecidability. Among others, it is shown that the K4-modal extension of GS enjoys L\u00f6b's schema. Therefore, the extension of GS by S4-modality in the style of linear logic is not consistent. The author discusses also the so-called Grisin's paradox; naive comprehension is not consistent with extensionality. In fact, GS is shown to be inconsistent with extensionality for the empty set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$7B929B54-1A5C-4510-BB6F-6785B7714C3F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402586$99643A1E-31EB-4453-8838-7AECEA4D52CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$CE844E8A-B80D-4BCE-8A0A-DB7332966FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$CCD37E2C-6E86-44D9-9F99-25B94427AD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$8465477D-84AB-410A-870A-AB415E891D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$C3F05CA0-E245-4879-8653-5DB9DFD86C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$E51FF32E-ACDE-4B99-ACEB-7849EFFE6332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add8b7accbebd56db539e6eea8095b103600504c","datavalue":{"value":"1972199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$85CDEC96-F053-459F-B705-17F6FDFFF10B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$5ED2B042-D9C4-41C2-8BB8-CA28C3BCDACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$95E29F28-20AE-4E42-9B6B-B9C6548BD1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$325A7894-AF4E-4F3B-9F6E-9A7AB98E6089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$CEBAC092-0076-434C-BC2A-3782D6998367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b4824ef13f08b858b40803f202c64b4c866869","datavalue":{"value":"second recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$6B144C7A-535E-4577-9F33-7BD61B738C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$B9CAE338-D217-44F2-A097-03A1B2BDCD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$0A30B810-47A7-45C4-AC86-CB16EA4397B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552a329f3e0def1f00e3c13883d8e4e71e7a8d19","datavalue":{"value":"naive comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402586$59C48D39-04AD-4913-9A51-051A6B132537","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":"Q1402586$558EFB1F-9980-4330-9F8A-60C19960B9CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b216a96cc972e9bcbd39c6e27ed05b0d2dd5a3eb","datavalue":{"value":"https://doi.org/10.1023/a:1025159016268","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402586$05424FC6-940F-424E-97CB-35C5EB6E85C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db02e8b5cd20d85c9ef2d264764d20a2e287de0c","datavalue":{"value":"W1489876977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402586$E71F65C1-4425-41A7-9589-7E4690198935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069320dd895050fff31b1ccac07df74a745445f6","datavalue":{"value":{"entity-type":"item","numeric-id":2784789,"id":"Q2784789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27b2a59a1a4ba19264e58b0b15d977ca7d4fb03","datavalue":{"value":{"amount":"+0.7383747100830078","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":"Q1402586$3712F8F0-8002-48A2-82EC-9DF2942321A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82abba900699214a4910d46925f9b95bfeac957a","datavalue":{"value":{"amount":"+0.7185167074203491","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":"Q1402586$0DE185B5-3ED3-4C96-89BC-5B223CFFCD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc24d22fea383fe6608dfdfa71b83c820459410","datavalue":{"value":{"entity-type":"item","numeric-id":5848180,"id":"Q5848180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6943bc3798d9717f834c51ba27a681e51bd48b7a","datavalue":{"value":{"amount":"+0.7155930399894714","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":"Q1402586$33E67B11-9E34-4A93-AC42-24E427F6B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8baa345b0b2fc61e0bb67719eb3c5d916684314","datavalue":{"value":{"entity-type":"item","numeric-id":3778015,"id":"Q3778015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcde75c2d9ba38beaa759994d523534df4f3e4f5","datavalue":{"value":{"amount":"+0.7130106091499329","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":"Q1402586$F9258F4F-DE9B-477F-9A78-19850780D54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffbf5bcf927e838d8d52979b22e0d9675aa17de","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d9fef2998db1796acfc5016ccfc4994ce79291","datavalue":{"value":{"amount":"+0.7123067378997803","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":"Q1402586$CB78E523-B6EC-4ACF-B685-E4DA6AAD7664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of Gri\u0161in's set theory","badges":[]}}}}}