{"entities":{"Q1095905":{"pageid":1106657,"ns":120,"title":"Item:Q1095905","lastrevid":49120906,"modified":"2026-01-06T15:19:28Z","type":"item","id":"Q1095905","labels":{"en":{"language":"en","value":"Skolem's paradox and constructivism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029559"}},"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":"Q1095905$833C8CA4-254F-4B76-9D82-D04A0CC8571A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"424033c00eae1a52e306ca47b2374ed84557da23","datavalue":{"value":{"text":"Skolem's paradox and constructivism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095905$147DD03D-0301-4E6E-8921-5495577274A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e8fc8d91120165b1045bb65caf3485326e53c0f","datavalue":{"value":"0633.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$300F794F-2CBE-4836-A028-6C040822D9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa3889fa078fc5b769407c4cf9235fa6a2be1b1c","datavalue":{"value":"10.1007/BF00257838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$03F64A49-EEFB-4FAB-BBD8-DC42588D1315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d6e27545f5ff87bd8e85f58155ee9385c69934","datavalue":{"value":{"entity-type":"item","numeric-id":595650,"id":"Q595650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095905$67BC5B34-B629-44D2-8AA9-5CFDF69513A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095905$634F1C83-FB05-458B-951F-1EA2DFD94EC5","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":"Q1095905$F06C84A7-386A-4C96-8B5C-E2BF2692D571","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095905$43445225-DD74-4F1F-AF32-5D4B722B244E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"860a99fb50d14b8422c64541ff542a0686add1e2","datavalue":{"value":"The paper argues that problematic versions of the L\u00f6wenheim-Skolem Theorem (LST) are not forthcoming for intuitionist mathematics, and hence that ``Skolem's paradox'' is a problem for classical mathematics only. After a brief review of a recent discussion of the paradox [Proc. Aristotelian Soc., Supp. Vol. 68 (1985)], it notes that all extant proofs of the LST are intuitionistically invalid. It then proves a number of independence results for intuitionistic Zermelo-Fraenkel set theory (IZF), e.g. IZF \\(+\\) Fan Theorem \\(+\\) Bar Induction \\(+\\) Markov's Principle \\(\\nvdash\\) `Every model has an elementarily equivalent countable model'. Some stronger results are announced but not proved, e.g.: IZF \\(+\\) Markov's Principle \\(+\\) Church's Thesis \\(\\vdash\\) `Heyting Arithmetic is categorical'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$5873C5E8-FB4E-4E96-8994-477038688D04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095905$E8C55D73-53E3-456E-A23F-4DA601BDF6D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$B96ED8C2-0571-4840-B101-9608B689408E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$BE6EF64B-3B8C-4ADC-82B1-E1780F18B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$67A7FB1B-50D8-46F9-8EF6-34141E9129E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$8541E8D4-66AC-4472-89AC-1DB2E0CEF8FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7132e83fe39cc35cf7047acdab5dce7383eaa4a2","datavalue":{"value":"4029559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$35209D5C-6EF8-4AC8-83FE-B16E97008C6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$4BEB16A4-4CFD-45AB-92BC-2AA5DF8AF423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45291dfe41331be8f110c6189ca0076096e619ad","datavalue":{"value":"L\u00f6wenheim-Skolem Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$33FFE0E8-2A30-45B0-A514-0F1AA09CFB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a57b0438ec05b6b104fcd69226333f0057a1a3","datavalue":{"value":"Skolem's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$D9C6B257-1D91-466C-8890-5E3124C996A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$81E2587B-0262-487D-879D-EE5B8F0B7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095905$9737CAA7-6F1E-4E7A-B946-59D6409A2083","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":"Q1095905$2B59884A-6D8A-4139-85BC-C51FC78ECDC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c11970f9ad96e8992301dae19881e5b0ed96f23","datavalue":{"value":"https://doi.org/10.1007/bf00257838","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095905$A484B689-B745-49FD-9D02-424095BB6306","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"908338de7569002a2def5f15d10f937584db9fcd","datavalue":{"value":"W2038025397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095905$D5278ABD-DB3A-4AF0-9A7F-BBDC93559096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5685a2ecc659c57799c9233ea4188533ee270a73","datavalue":{"value":{"entity-type":"item","numeric-id":5434472,"id":"Q5434472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160c05e175e03f1ad7a438286e78eaa852d2bebc","datavalue":{"value":{"amount":"+0.7303224802017212","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":"Q1095905$703FC429-0E29-4395-B2B0-7B962E30C251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d04a5376f041b80df7a5d378fcaccab7a25ffd","datavalue":{"value":{"entity-type":"item","numeric-id":2576395,"id":"Q2576395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f66a6ae74c156654c080d5278a6c4b1172aca98","datavalue":{"value":{"amount":"+0.7285788655281067","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":"Q1095905$892C54D7-445F-4B6C-A21F-B31DB581A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1661410b097173ab033f6fd494d0afda8dab0984","datavalue":{"value":{"entity-type":"item","numeric-id":4508278,"id":"Q4508278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842f08eca39bfda4c82b9971fa5a0e7a43a40ed2","datavalue":{"value":{"amount":"+0.7170355916023254","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":"Q1095905$DB025F38-BB0C-4283-B4C0-C6ACC7D03A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110bd05c1342a507df30b39875b8105aa8742763","datavalue":{"value":{"entity-type":"item","numeric-id":448337,"id":"Q448337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728fa8d4f5c2e772062219d2a0eace4d8f80917b","datavalue":{"value":{"amount":"+0.7152072787284851","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":"Q1095905$A0EE9248-9C3D-4914-9863-73D93BA8A856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827c8d9d184947467ece5073be7d8b89ef5a54fa","datavalue":{"value":{"entity-type":"item","numeric-id":2909756,"id":"Q2909756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3718b7d5c168700c432f5fa04b81acff8f463ded","datavalue":{"value":{"amount":"+0.7130007743835449","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":"Q1095905$7DF48373-9326-40A5-95C4-3E6B9FE647C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1095905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1095905"}}}}}