{"entities":{"Q1590193":{"pageid":1600933,"ns":120,"title":"Item:Q1590193","lastrevid":47549791,"modified":"2026-01-02T01:28:41Z","type":"item","id":"Q1590193","labels":{"en":{"language":"en","value":"A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545483"}},"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":"Q1590193$6576F959-3A4E-414E-A66A-5A522D12A902","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec04c280dbcbf5e9bfe7383ffe0287dc799e311","datavalue":{"value":{"text":"A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1590193$AE438FB8-AEA1-4D34-941F-8BF19FB9E99D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8374232b59277401058053f83bf2c8d3d146ff7","datavalue":{"value":"0974.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$EAE89F71-84A5-4E71-9F43-258311875AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdc592a8bf0af797b63612632cfd06a304792d28","datavalue":{"value":{"entity-type":"item","numeric-id":1590192,"id":"Q1590192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590193$BAC75116-B4D0-4D18-B875-0D49D604B9EE","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":"Q1590193$A0015C56-8601-4728-B6BE-A29660B25835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53cc9b739d076778b9207d322c3b005b7ae83bc","datavalue":{"value":{"time":"+2001-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1590193$E8189780-1C48-43BE-84C8-FE68E45FD0BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e7407582ebd54f1ff8efd14f377c64d70dd9f2e","datavalue":{"value":"The paraconsistent system CPQ-ZFC/F is defined, where CPQ can be regarded as the first-order logic obtained from classical logic by removing modus ponens. Then CPQ-ZFC/F is a paraconsistent version of classical ZFC minus the axiom of foundation. It is shown using strong nonfinitary methods that CPQ-ZFC/F has the same deductive powers as classical ZFC/F. It is then shown using strictly finitary methods that CPQ-ZFC/F is non-trivial.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590193$6A95C067-2BE0-45AC-B5A4-A99851A211CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$C1351AF6-4514-4778-B276-A9A4D25B05CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$D6E1515A-101E-49E7-88EF-07A816A2FC9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd3b76b6682ac3d01506ed881e8db15a4d9afbaf","datavalue":{"value":"1545483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$23BEA99E-EB08-4E6B-85DD-BE4261775A84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590193$301A4C39-3CC3-4533-A5EB-12668A5D53D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7f5bd4b2976f9eb73e0e1a4a0b2890fd4f43c9","datavalue":{"value":"paraconsistent set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590193$51B8235C-9D10-4045-98CA-7A9CCEF37202","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2dd5ed40413f5901f84b251dc4d09c67572320c","datavalue":{"value":{"entity-type":"item","numeric-id":1057853,"id":"Q1057853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590193$EE413603-0B6C-49D3-A266-663CC1809CE7","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":"Q1590193$5CB20A45-3691-49BC-B7F2-CB1CC2D4CB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9a5d4c8efeededb05e398fe437f3ba15f18bd9c","datavalue":{"value":"https://doi.org/10.1007/s001530050166","type":"string"},"datatype":"url"},"type":"statement","id":"Q1590193$4AE4626D-E8A3-4249-B9B0-89E7B5FD4C42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b30e6793172ad9b43e1ed48c740bf48760b2878","datavalue":{"value":"W2014156555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$4BF42A69-B53A-43D5-AFF0-0574EB1FB9DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7636aaf53c68b8e3b89f433d7df72c9d290d5363","datavalue":{"value":"10.1007/S001530050166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590193$E58C2E31-5D45-4109-8B8D-F7B27474AD02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ea33ae9863b2ea21219fc40ef23217da1558b8","datavalue":{"value":{"entity-type":"item","numeric-id":3770503,"id":"Q3770503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78515cad711e6ff404c29b68314e619f6cbf396","datavalue":{"value":{"amount":"+0.8256396055221558","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":"Q1590193$07428AC1-04CC-4B89-86D2-2F4A4C182B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4656061d3fc0bfd13d90376aecdcb78bac475f","datavalue":{"value":{"entity-type":"item","numeric-id":3813798,"id":"Q3813798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7210098aa80b56b479a8231c4b91846b42244c","datavalue":{"value":{"amount":"+0.7711299061775208","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":"Q1590193$007C0258-4269-4BEF-A04D-A6B4F3F7B386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a6a9037a2b9a947506237b0b443df7b3bb5f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3592784,"id":"Q3592784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ba1accbae247ce69e0ea46af034599c441a64b","datavalue":{"value":{"amount":"+0.7673237323760986","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":"Q1590193$8E1CE6C0-3A3E-4AC0-8895-AA55BDFDE371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608a67a8e1942457f495d9b53b672f096efce8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4329288,"id":"Q4329288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d020be8e6a6758622b837226e5f62e4728e3fd98","datavalue":{"value":{"amount":"+0.7484911680221558","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":"Q1590193$CF499346-4FBE-422F-A42B-368783BB4DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5995d61d49c1690acb4a7601b600864fa553ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012972,"id":"Q4012972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165a0306ee122b1fb0483d5dc91bb5f2fb15bbef","datavalue":{"value":{"amount":"+0.7445909380912781","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":"Q1590193$858BDB53-E346-4FAE-B5F3-ED65FA3C619F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1590193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1590193"}}}}}