{"entities":{"Q1016508":{"pageid":1018356,"ns":120,"title":"Item:Q1016508","lastrevid":69425904,"modified":"2026-04-13T06:54:57Z","type":"item","id":"Q1016508","labels":{"en":{"language":"en","value":"Comprehension contradicts to the induction within \u0141ukasiewicz predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551232"}},"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":"Q1016508$CD5B1E26-41A3-4187-9968-89E972DDE31C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d189a1fc6e1a5d32c5be86f0c50b3ac9faee0d6d","datavalue":{"value":{"text":"Comprehension contradicts to the induction within \u0141ukasiewicz predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016508$80F0D75F-3F71-4C39-986F-582181816E67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e718d4550374c5160e0ceee2e7163f21c46fb96d","datavalue":{"value":"1173.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$B4B485E1-280E-46B9-889E-752C73FC9815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fb154243da5ae14a3ab493f834425e3b8325ca","datavalue":{"value":{"entity-type":"item","numeric-id":877260,"id":"Q877260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016508$8F1146D8-C14B-4C09-9A0E-C983B59A2EA9","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":"Q1016508$57FA64D8-6C5F-45C9-9DD0-D028421CBB0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016508$D6560F0E-C4F7-41A8-9011-22C708E6605E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb59c5e752d97eadb24bbd269c5c87c10dd3c430","datavalue":{"value":"The author gives a simpler and shorter proof of H\u00e1jek's theorem that the mathematical induction on \\(\\omega\\) implies a contradiction in the set theory with the comprehension principle within \u0141ukasiewicz predicate logic \u0141\\(\\forall\\) [\\textit{P. H\u00e1jek}, Arch. Math. Logic 44, No. 6, 763--782 (2005; Zbl 1096.03064)] by extending a related proof given by the author in [Arch. Math. Logic 46, No.~3--4, 281--287 (2007; Zbl 1110.03049)] so as to be effective in any linearly ordered MV-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016508$C18D61F5-AA6F-4DB4-A4D4-7FAA0226B5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$0287A92B-6C24-4DB4-8907-2889C50F7992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$35B3A278-39FC-4073-9CCB-6923989DE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$E95192C7-A41B-4960-9B6F-A536D824971A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97ede4fcaab64bde438b2295d46dc1c68390320d","datavalue":{"value":"5551232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$6CE7F9ED-CF2D-4A80-B117-3F1E05D50712","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f788c90e46783fe8ce0d9a8ecc5f1908346584","datavalue":{"value":"comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016508$DD8C6FAC-6BBB-4E4A-B118-48665C6B1B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5249fb4cc32375252c3a5cfbcc3901f3f8ffd4","datavalue":{"value":"mathematical induction on \\(\\omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016508$D1A0EE39-DD1F-4BDF-83A1-A6D0F94E5A18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b3b71b6b4ea4bbc9f7a9ecb10bbb7803444aed4d","datavalue":{"value":{"entity-type":"item","numeric-id":580761,"id":"Q580761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016508$CA767BD1-76D3-4468-A4AC-F5009EC538E2","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":"Q1016508$89C2F92A-BDAD-4562-978A-8A1AD6FDEB81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebd3a3b7deb195d16325c91017141983eb338dc9","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0127-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016508$FDC8566E-A3FB-4483-9E1F-261ADC0CBD6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee02246732a9e3ac9c24fb6b2ca4a135d5fc9890","datavalue":{"value":"W2040000209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$D08D59EE-AA69-40A4-957A-E0CF4EB73FE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"384a2cfe464c1263b799b28baecc650ec7a77dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402586,"id":"Q1402586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016508$ED16B3BE-2677-4779-8EC0-F5F94046ED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3b637b338a0c2799bb2d3c0808f04e2b466bed","datavalue":{"value":{"entity-type":"item","numeric-id":2388435,"id":"Q2388435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016508$817A5A5D-C4C7-4547-B696-F5A81F6B2A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72978743688c6998278508bea1f760373fb0c8d","datavalue":{"value":{"entity-type":"item","numeric-id":877261,"id":"Q877261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016508$52853F58-0B60-4987-9DF5-1FCA2163FEB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ea03e50a9f3bd0e0d4a140d4a3b925f964e25e","datavalue":{"value":"10.1007/S00153-009-0127-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016508$9F17434A-59E9-4757-8816-CC3A58DC84DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6439479ff2b67de433f357df9b27ae561066f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2388435,"id":"Q2388435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36030949a4a35ed9138438e5190707c359491c6","datavalue":{"value":{"amount":"+0.7380747199058533","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":"Q1016508$4A9261F3-18CE-49A4-9748-2379BFAA3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e255963a4f641280b91e0f7a5a9c13f840f101","datavalue":{"value":{"entity-type":"item","numeric-id":877261,"id":"Q877261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b907f7726142d5f53ddba672fae0e7f2c1afa5","datavalue":{"value":{"amount":"+0.7340535521507263","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":"Q1016508$011B92CD-59DE-4BE3-926F-8B064B207A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a36a3dd96ae69841fb79e813f3816202aefb2d","datavalue":{"value":{"entity-type":"item","numeric-id":3553914,"id":"Q3553914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d505dc79509fa3e2f4bee7408e94641447708222","datavalue":{"value":{"amount":"+0.7335219383239746","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":"Q1016508$D2E3DC86-874D-46AD-8414-B1238BCE7757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d13d2bfc128e3390e4e126b2a36b56507168a1","datavalue":{"value":{"entity-type":"item","numeric-id":5693116,"id":"Q5693116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44995a0956a6da45371c15d9a50ae53bce509de","datavalue":{"value":{"amount":"+0.7207499742507935","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":"Q1016508$658F5800-7ABE-4D5A-81A0-ED4803F6F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa39297d4cc919a14acb5567a2e80bb4c92f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafeef4ca98d40621fe622493d36530520801682","datavalue":{"value":{"amount":"+0.7156854867935181","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":"Q1016508$D9E44435-575A-478A-9506-6D84660B8BB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comprehension contradicts to the induction within \u0141ukasiewicz predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comprehension_contradicts_to_the_induction_within_%C5%81ukasiewicz_predicate_logic"}}}}}