{"entities":{"Q2732276":{"pageid":2743015,"ns":120,"title":"Item:Q2732276","lastrevid":82886357,"modified":"2026-05-06T22:20:56Z","type":"item","id":"Q2732276","labels":{"en":{"language":"en","value":"Syntactical truth predicates for second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623519"}},"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":"Q2732276$57114440-77D1-4F91-ADEE-B13E140571FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a539a172be5bf27c4e6bf94e113561556d1f05db","datavalue":{"value":{"text":"Syntactical truth predicates for second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732276$5FD68A9B-FE53-4A92-B365-563B79485E72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6ad79ddd39dd3954ce51341b1d5a93334b7f42f","datavalue":{"value":"0978.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732276$FCF62870-1EBA-48B6-BA90-6AB7D5C58D8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"402c25700af24e783d49de792942642689173c1b","datavalue":{"value":"10.2307/2694919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732276$EF45C723-D239-46DE-AE4C-309571A30838","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4e4ec60c79ca2be79b8bf03698ab493279a70e","datavalue":{"value":{"entity-type":"item","numeric-id":688723,"id":"Q688723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$32734AD0-823A-478A-9387-118240FCAAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f271b5c5ead0d5762c99c9faaec33d9274cc34d","datavalue":{"value":{"entity-type":"item","numeric-id":235588,"id":"Q235588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$70DBAFB3-95BA-46BE-8F0A-B06BDC910C9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e204a4d23e0af36d5fce5daa28f0962661f55a","datavalue":{"value":{"time":"+2002-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732276$76CD4394-0290-46DC-BBC0-3CAA462E2EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732276$182415DD-6AE6-4145-8D4E-E16FECDE8C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"885b0f3535a3e1faefe72a81cedae8fab6c6ff8b","datavalue":{"value":"1623519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732276$0DE49D87-85C5-4A4C-9A9B-DAE696505C45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732276$0E548B00-C437-4540-AE34-C55CF4888A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732276$3F953345-A72C-4CE3-8C8F-07FFF7F90AE2","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":"Q2732276$1E3A099B-0DDB-4A1E-B6EC-864B74AF9258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f41b6361080324ad82dac72dd95d260129bc50e","datavalue":{"value":"https://doi.org/10.2307/2694919","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732276$226A85B8-2360-424A-83C7-48A686B31DF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a37e07484eb1348827c5bef6725b15fcd6de0e0","datavalue":{"value":"W2009074483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732276$19AD420C-7CD6-468D-81F9-D5F9201E9441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e0ce4d8c53e48992de3b293a33343dad786eb","datavalue":{"value":{"entity-type":"item","numeric-id":3848981,"id":"Q3848981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$A2C6F823-32DD-48AF-AF20-FC0AFEB72988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfcfb5d7d4646e134389c585c60a3785c127900","datavalue":{"value":{"entity-type":"item","numeric-id":5582332,"id":"Q5582332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$AD8CB1FD-1C49-4932-A923-8B4B188C3F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfecaf532c2be9e3f2c25c4983153b3ac961d76a","datavalue":{"value":{"entity-type":"item","numeric-id":4053647,"id":"Q4053647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$8204FDE8-C6DA-4D58-8657-401D614FB989","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":"Q2732276$5E02BDBA-BF78-4BB3-8336-5923F3C3F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$A943418C-36CF-4D19-BB95-BBA397CE8A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$CEB8A6CA-B280-4B3F-8A86-D6457F47F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$F94DA0EC-3190-4007-A781-BCBE08F891C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$3F684FB1-95A6-4923-B829-66A52F8C74DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0859db62baa15d81e8867dcbf985a99f06a645c4","datavalue":{"value":{"entity-type":"item","numeric-id":5344167,"id":"Q5344167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$22A76930-AD2D-4144-BDD9-DBD02AF35574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$7B2E1B56-0C58-40C8-9AD5-9B5F966D09EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2cdd8ecfbc874c40831a42fc66ccbb79b82741c","datavalue":{"value":"In the paper the notion of a syntactical truth predicate for second-order arithmetic is introduced and studied. This predicate can be seen as a counterpart to Tarski's notion of model-theoretical validity. It is shown that the existence of a syntactical truth predicate is equivalent to the existence of an \\(\\omega\\)-model of second-order arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732276$BFF7EEF4-505A-4308-B6CF-7602596117C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732276$6D95C56E-6CC4-48E3-A3A3-8FED3A175034","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3931f1bcacbda9d4cbe884869134c7660a68f8b9","datavalue":{"value":{"entity-type":"item","numeric-id":4331078,"id":"Q4331078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae106aef1d822987e33a298a4f9d3ea2a3b152ac","datavalue":{"value":{"amount":"+0.815111517906189","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":"Q2732276$6F648702-B596-4465-95A3-329802E41916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdb4d3f1bee3204f810dd51aa7cd348afc0a869","datavalue":{"value":{"entity-type":"item","numeric-id":5245970,"id":"Q5245970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb4e8d2e52371040da014849ca33d115f096128","datavalue":{"value":{"amount":"+0.7528582215309143","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":"Q2732276$41148908-7715-4EF5-84A4-E15628A1DC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b560325fc1250244f789e08105d2464a53f56927","datavalue":{"value":{"entity-type":"item","numeric-id":1069920,"id":"Q1069920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fc0dcba16b9cd103cbb206da14556e64eeacf2","datavalue":{"value":{"amount":"+0.7351528406143188","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":"Q2732276$AE7D0F4D-A28A-45F1-9937-3F9E82772134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d809cc7eba9cf0b5862d1ba3fea038268e630f","datavalue":{"value":{"entity-type":"item","numeric-id":722023,"id":"Q722023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722e409e556a5035ac429e1e01d1061764638bde","datavalue":{"value":{"amount":"+0.7338389158248901","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":"Q2732276$E3B16387-6666-4DB0-B247-4DAB42BA0266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdac89f727e085016c6adfd75b4eee8de0396297","datavalue":{"value":{"entity-type":"item","numeric-id":5414139,"id":"Q5414139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e73cc564951266694695ef855ce9d45258cedb","datavalue":{"value":{"amount":"+0.725163459777832","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":"Q2732276$8A24A6CB-CB1C-4915-8467-4C6BA41C40C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactical truth predicates for second order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactical_truth_predicates_for_second_order_arithmetic"}}}}}