{"entities":{"Q2904132":{"pageid":2914857,"ns":120,"title":"Item:Q2904132","lastrevid":84937532,"modified":"2026-06-03T05:14:44Z","type":"item","id":"Q2904132","labels":{"en":{"language":"en","value":"Yablo's paradox and the omitting types theorem for propositional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063592"}},"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":"Q2904132$98288E54-F9FC-4F0A-A51B-1390221CBEC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57941aebbdae9950f7e2b058eb51a86b84e661c5","datavalue":{"value":"1252.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904132$1336D94B-3B47-4551-815D-3774D4C4094A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7d2f4d9fec38e3b8a27aad0056f3fb4e99b856","datavalue":{"value":{"entity-type":"item","numeric-id":628797,"id":"Q628797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904132$16F53356-FD65-4228-BF7E-76D976381BA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1e94d61bf4c54e2ef7ef4c374530b93a773f9d","datavalue":{"value":{"time":"+2012-08-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":"Q2904132$C5C7D3A8-4E33-4156-AABC-F2F184276644","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904132$EE5EE9FA-6284-469F-B9CF-831E9E77C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904132$0E6464B3-F4C3-4545-8E07-16B6CCA80E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e802da88b036f9b5ea83a004dace89538a1148a1","datavalue":{"value":"6063592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904132$00762348-D5DA-4E97-A542-C9669BE41A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a7efa6cf387484c8cfa5a90b6fe57776ccefe7","datavalue":{"value":"Yablo's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904132$50C768D6-452D-4966-8A07-50D327402BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de84a7d10e1c8a202903f6d22ff5a475073d3cb8","datavalue":{"value":"omitting types theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904132$63D40832-DB20-474C-918E-95CC10158264","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":"Q2904132$11280510-51D6-4511-A3E9-FC9C3E40853A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e14bc41c0dccc57ea266ad6b0cdab22b31ff3554","datavalue":{"value":{"text":"Yablo's paradox and the omitting types theorem for propositional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904132$1AA710F5-ECE2-41C1-B4A2-42496D6C7E54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904132$EB0CD2CE-BE65-4EF9-A6E3-695A90FCA898","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdcbeffcbbe2ec2bb7e4db989339b15d1bf1e282","datavalue":{"value":"The author shows how Yablo's paradox see [\\textit{S. Yablo}, ``Paradox without self-reference'', Analysis, Oxf. 53, No. 4, 251--252 (1993; Zbl 0943.03565)] provides us with an illustration of such a setting where there is a theory and a denumerable family \\((\\Sigma_i)\\) of types that, although this theory does not locally omit any of the \\(\\Sigma_i\\), it nevertheless has valuations that omit any finite set of them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904132$B6084C78-0BF9-489D-A32C-6A6F850DA189","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904132$8E110AEF-B597-42C6-A44E-81B247144C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72c41bf564a25f129e984e61287d20e33702d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3192943,"id":"Q3192943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af45a6438adb0e27fbca7f072d3210abb62aea4b","datavalue":{"value":{"amount":"+0.7673554420471191","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":"Q2904132$5678EDBD-D880-4199-8CDC-9BB396419C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9c6d4b46aca4855f6791d8eb3d183c1b451354","datavalue":{"value":{"entity-type":"item","numeric-id":5283778,"id":"Q5283778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c401f03296aabaff25aeb61b1c32b647e5988ae7","datavalue":{"value":{"amount":"+0.7594559192657471","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":"Q2904132$80F9ABAB-4729-4A79-B61A-F879C832B7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ce8d2c78736f9a79a1fb255f5e6dbf230cc44f","datavalue":{"value":{"entity-type":"item","numeric-id":5066800,"id":"Q5066800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b31e1738bfbe473286ad642cf9c77901814c6ed","datavalue":{"value":{"amount":"+0.7499249577522278","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":"Q2904132$D79752E6-1311-4EFC-AFCF-C8286CF236DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1184cacf24dba6bae4612a5903e1ed3c9fbfaeb3","datavalue":{"value":{"entity-type":"item","numeric-id":2377057,"id":"Q2377057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ce3e2bc655d2757a5ac1518b27a2e5b2cb470c","datavalue":{"value":{"amount":"+0.7494845986366272","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":"Q2904132$8BA69621-2891-49D2-AD62-EDA64F50361F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d726dc5585d07c0ef0905f6601eff2f351cf3d9f","datavalue":{"value":{"entity-type":"item","numeric-id":381006,"id":"Q381006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b286c0fffa135ac2e01e313eeade115679189110","datavalue":{"value":{"amount":"+0.748346745967865","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":"Q2904132$73C28C1B-AC40-4732-8565-D21C5C67C283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Yablo's paradox and the omitting types theorem for propositional languages","badges":[]}}}}}