{"entities":{"Q1362598":{"pageid":1373337,"ns":120,"title":"Item:Q1362598","lastrevid":43057571,"modified":"2025-07-17T07:47:08Z","type":"item","id":"Q1362598","labels":{"en":{"language":"en","value":"Inconsistent models of arithmetic. I: Finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1044162"}},"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":"Q1362598$E887FA0A-290D-4594-8B9B-6C4E36AD9FA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbd4ee9459462d9eadb038531590c4eb59bc8e4b","datavalue":{"value":{"text":"Inconsistent models of arithmetic. I: Finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362598$9837D6B4-7B50-4C03-9B74-046B313945A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea93937d4e1174f9da0b02998ae17400f28833ae","datavalue":{"value":"0878.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362598$D33CBE97-998F-4D7D-9D34-4F02FEC3B878","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a50ca8f51453ed6f1ddd4d082b256550cf6c088d","datavalue":{"value":"10.1023/A:1004251506208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362598$C9770D57-D7C2-44F1-BB39-49B39F2DE4F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$1E9576DA-1CF9-46FF-A194-F8322147B9EF","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":"Q1362598$3A84EF46-7589-4F23-85E5-255BB06FB92C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"440cb9a80eec08c02fdca7fb132ef7e4b1975f72","datavalue":{"value":{"time":"+1997-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362598$97813602-DBE4-4E39-8856-112D4CA7BE6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b09729cec02b360080c862ccf40a46a582a96f0c","datavalue":{"value":"This paper demonstrates the existence of interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first-order arithmetic. The metatheorem about LP used, the Collapsing Lemma, takes us from any interpretation to a new one, using an equivalence relation on the domain of interpretation which is also a congruence relation on the interpretations of the function symbols of the language. This means that in a process of collapse from one interpretation to another, truth values are not lost: anything true (false) in the original interpretation is true (false) in the collapsed interpretation.   One group of models use identity modulo \\(n\\) for some \\(n\\) as the consequence relation, and the successor function becomes cyclic. Another group use a relation which identifies all numbers equal to or greater than some \\(n\\), giving a successor relation described as a heap. The general structure of a finite model is a tail, plus a cycle of regular numbers, plus a collection of cycles of irregular numbers, such that the period of each is a divisor of the cycle of regular numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$7F9FC377-052B-49EE-B658-F67D043A6FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362598$22B7ABD9-B27A-4168-A443-AAE070B8BA42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db22e6064a6c9b2f6d3c2a670290f7d0917928b9","datavalue":{"value":"1044162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362598$CBC876C8-2262-469E-BB51-24EA5C51CE26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b9aad439069f41c6f9929d559593afed4a2222","datavalue":{"value":"inconsistent models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$07A23DEF-0B6D-44EC-950F-643D4E4A3A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$17587F39-50ED-4612-99D1-D8DEB0445D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$45415504-1DE0-46C1-B709-DA9990459BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9a4c623eb9f81b86bfaf52bb353278844078e1","datavalue":{"value":"Collapsing Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$36B995F7-3FC4-45EE-B28C-1143FF1F1BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$21BB6EDB-6DD8-4B91-9C40-EE3E46EABB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3e71e20fbe4cf516e0d9a07fc090360b67b372","datavalue":{"value":"heap","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$B5F04A63-EF30-42AB-8B88-26FB5FA99325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$3940530D-B6C6-42C7-B295-22005B511FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015556eca69ace49c9a3ea53be3aebc03125be93","datavalue":{"value":"tail","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362598$87ACC8B2-138C-4540-A5C9-4104515581A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$0AA9377A-D3D5-43A8-8B5F-7B678EF4C45B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f3f172a280791131617d2cc02190d5e3f91c50c","datavalue":{"value":"Q56852437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362598$723AC544-593D-4476-87AF-E8DC44CEDC09","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":"Q1362598$80AFCF70-63AA-47A1-AB72-49294F8F3FDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$6B0CE140-075C-40A6-8073-8AED6F512C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc47cba5d14b577132bc5c058e945d37df06efc","datavalue":{"value":{"entity-type":"item","numeric-id":1257471,"id":"Q1257471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$C2FF58EC-9B05-4B8F-AF53-14BA9D967563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$2BAE334F-5FD6-4571-90C5-5313C4F1F8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7054088f261bec1b43e83dde5033148470f0cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3734361,"id":"Q3734361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$BF5AA7B0-A719-4CC1-8E0C-9D63EEE26ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b143c55fccb50bc52c8564eda293bb84d3b14627","datavalue":{"value":{"entity-type":"item","numeric-id":4841568,"id":"Q4841568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$4BEC3A90-DF03-4681-B3D2-DBBFE600F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$00F1E179-40AD-49D5-9146-ADA6FD4E069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8febab473831d526cd211976405702409d6df4","datavalue":{"value":{"entity-type":"item","numeric-id":1181492,"id":"Q1181492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362598$CEFE46CE-7D23-4895-81B0-25EC5C671822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796888e2198d0e4691880c1dbe77b13fb4f2c1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2710594,"id":"Q2710594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b298ff44e3ee36eb6e0551c700a5a2e59a420f1","datavalue":{"value":{"amount":"+0.96188754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$E6937A5F-AD2A-4C39-B197-28C39E654C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ba5a54e2984ab334b39b22db4a0a6182f0108c","datavalue":{"value":{"entity-type":"item","numeric-id":3387886,"id":"Q3387886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d39bef05741f4003a84204b020a64090c88107","datavalue":{"value":{"amount":"+0.94627017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$D9595BF8-FFCD-4B20-A5D8-BA1AAD1C4B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ca2b62bbf6b1681378fd312e30215e71c82b35","datavalue":{"value":{"amount":"+0.92647094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$617D35F3-9A80-451F-ABD1-C5C3A31184B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f635615a877ca328940d5483d0b5271884302dde","datavalue":{"value":{"amount":"+0.9028554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$FFF06FF5-B448-4824-9BA6-98876BAC54C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b84656fee60eb941a08535d63b7f13e2e519e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5711890,"id":"Q5711890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3421947fc059a7bd53404b4054cca6153c9fef8f","datavalue":{"value":{"amount":"+0.897305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$5966B722-1A57-4DB6-82B7-3033493971DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb2213be7dd173dec513354a8cff3c9e0dcf91b","datavalue":{"value":{"amount":"+0.8957077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$925808C6-0D52-468B-A698-C9FB7C4589C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7596894d88ec46ce3a873e8dab13a4b5ab8082a","datavalue":{"value":{"entity-type":"item","numeric-id":1123890,"id":"Q1123890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcb49e53344b9ce06637bc5f879d57d4d5a1dbd","datavalue":{"value":{"amount":"+0.89316833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$894CF960-D69B-4642-8D11-9D057E7E60EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231dd96b576e26f3d21fd6296cbc3fc4cb5782e9","datavalue":{"value":{"entity-type":"item","numeric-id":5019126,"id":"Q5019126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f7e4b98dbbb8c332990af62a24d4a9326be4bf","datavalue":{"value":{"amount":"+0.8927416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$B7FD7ECF-588A-4207-BFF9-4F33F0088DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02e8c09c532a85b8fa692daea3500b7b765884f","datavalue":{"value":{"entity-type":"item","numeric-id":3734361,"id":"Q3734361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f7e4b98dbbb8c332990af62a24d4a9326be4bf","datavalue":{"value":{"amount":"+0.8927416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$7C2A59F6-C3B1-40EB-8A04-9B9365E4F738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7958b43abff672184d4c67f77e0bc4d515eaab","datavalue":{"value":{"entity-type":"item","numeric-id":3708802,"id":"Q3708802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb0a904dd4b6e0522d3d4946e90769218b7003e","datavalue":{"value":{"amount":"+0.89247626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1362598$9DD35510-973D-4F1D-A173-396EE69D685A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1362598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1362598"}}}}}