{"entities":{"Q1187976":{"pageid":1198725,"ns":120,"title":"Item:Q1187976","lastrevid":47066011,"modified":"2025-12-31T13:46:40Z","type":"item","id":"Q1187976","labels":{"en":{"language":"en","value":"A nominalistic proof of the conservativeness of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39909"}},"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":"Q1187976$2251C055-96CD-42AB-A24F-3521605DDD0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5478ab90c7724c36f7f859dea33216dfe8b87b5d","datavalue":{"value":{"text":"A nominalistic proof of the conservativeness of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187976$9E9ECAB1-42DE-42F1-8E56-589DBB3D465D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a926187b1414311f6184d15ff460bea4dbb2aa5","datavalue":{"value":"0767.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$9053F886-DA51-403E-B083-0E7338D4B52E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94bdd2570af1ca9bbe97b53690fae0128ed89818","datavalue":{"value":"10.1007/BF00248634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$141D36DB-43F4-4649-9A5E-B45792FE6986","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06450988d8f0c6b9902a29d4a6bdd40bc422cf93","datavalue":{"value":{"entity-type":"item","numeric-id":509600,"id":"Q509600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187976$8C23D9DE-580A-43C9-9F28-7FA0183E050F","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":"Q1187976$3D3A3921-CE85-41CF-98EC-B344E610013C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e4e72ca557f32de200c80ffb9cc58b1ed41a8f6","datavalue":{"value":{"time":"+1992-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187976$E86D9808-B3AD-4FD9-92B0-619E6186D8D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0499de47053618cb7b46b76a2a407246209b2f42","datavalue":{"value":"When we apply mathematics to the physical world, we assume that the mathematics being applied is conservative: that is, that it is consistent with every internally consistent purely physical theory. (The mathematics being applied is impure: it includes set theory with non-mathematical urelements, and allows physical vocabulary in the comprehension schemas. Because of this, conservativeness is stronger than consistency.) In \\textit{Science without numbers} (1980; Zbl 0454.00015) I formulated this notion of conservativeness in a platonistic fashion, and proved set- theoretically that mathematics is conservative. In later work I have shown how to reformulate the notion of conservativeness in a certain ``nominalistic'' fashion --- that is, in a fashion that does not involve quantification over mathematical entities. But having reformulated conservativeness nominalistically, can we prove it nominalistically? In this note I show that the answer is `yes'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187976$DBAC723E-2938-45D8-B81B-A90E46534D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$3FD45BA0-35E4-4A96-9BA5-7B29CE3E48E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$27AAE025-14D2-451F-851F-6FF0F9E4F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$3A09E89A-10DC-4832-85BA-71B4208BA4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$57CBC48B-082F-43E9-8DC1-AE22E4EC443F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4da07919d5062fcf737df1d16780f4324837a35c","datavalue":{"value":"39909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187976$26AC99D9-A3F8-49F0-AB35-012690F1BC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fd44a9136b7b22bba9032e36c9834407713f2df","datavalue":{"value":"conservativeness of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187976$96E998DE-F306-4B83-ACCE-A9A1B4E4159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187976$D9D96EE3-9095-4C17-AEA5-FE3682A8C2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54ad705c6b194974ed9fc12a2899e897cac0244","datavalue":{"value":"philosophy of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187976$713FC635-6290-4211-BA6F-D81BE1115E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187976$DDB21432-7E7D-4D5C-866D-88451A831760","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":"Q1187976$D11FB74A-D62E-4ABA-B34F-1C3411FE5164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1749b6a99e730619a262b138993c5ae436c69ba","datavalue":{"value":{"entity-type":"item","numeric-id":3417343,"id":"Q3417343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106ca5dad9b51c51a7269f201dbfba7e9374f97a","datavalue":{"value":{"amount":"+0.8338356018066406","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":"Q1187976$A25554FD-78BE-480E-8781-1003A41FBABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c402bcd3d42f145332cb65d18323956f3a02e35c","datavalue":{"value":{"entity-type":"item","numeric-id":2825462,"id":"Q2825462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73bbc1cb52aad7d95fcfa1b1a2b560d8f7c643a","datavalue":{"value":{"amount":"+0.7528811097145081","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":"Q1187976$B6ADA1B4-EDB3-46AB-8807-F7B1C0C83D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cead4f70738e2e5d91f51cecc2b5779c1d75e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":3999068,"id":"Q3999068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1b88646a78d0e5c66a5223d20d464fa8ea3f01","datavalue":{"value":{"amount":"+0.7180079221725464","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":"Q1187976$33AD4297-9D5C-4F5C-885B-8697C7A85E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2375b053b217e6f1a2a02974bfa2fd16075dd","datavalue":{"value":{"entity-type":"item","numeric-id":4930169,"id":"Q4930169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1e7f02695fef7f7c54784ca118032496a72953","datavalue":{"value":{"amount":"+0.7178409099578857","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":"Q1187976$5C5E5776-F862-48DB-BC4F-9A8F0F2B8702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e52af5f07406135ce8943a932fa90e4c0daea83","datavalue":{"value":{"entity-type":"item","numeric-id":3499797,"id":"Q3499797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bd8c0487c34d24cf6ba12df38b8e3cc6a2eb28","datavalue":{"value":{"amount":"+0.7070293426513672","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":"Q1187976$F97A7351-BBCE-40FA-BF8F-ABA760943444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187976"}}}}}