{"entities":{"Q1338480":{"pageid":1349219,"ns":120,"title":"Item:Q1338480","lastrevid":67622787,"modified":"2026-04-12T19:04:15Z","type":"item","id":"Q1338480","labels":{"en":{"language":"en","value":"A finite analog to the L\u00f6wenheim-Skolem theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 698635"}},"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":"Q1338480$D825E2E5-60FA-42D0-B83B-8C24FFA823F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf9fa4fae47183daf781721783e0b91d409de5c0","datavalue":{"value":{"text":"A finite analog to the L\u00f6wenheim-Skolem theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1338480$3D99D9D9-5709-4603-A277-85E503A53447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6583c29d31a24f11e33ea856199825154f616675","datavalue":{"value":"0819.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$195F54D7-A6CE-4709-98EE-BD16DB651225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"047a492b2c53778f6097aa36a376acaaae2d0188","datavalue":{"value":"10.1007/BF01057648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$B45AFABB-3AEE-4D86-A37A-B83C59DB3576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e836e6a68e09c01aded6f58e26ea39930b5c8870","datavalue":{"value":{"entity-type":"item","numeric-id":689205,"id":"Q689205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$8CDE83B6-D28F-48BC-8D13-6FF9284AB91E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$DC2D4905-B4FD-4FEB-87F8-676B88981709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1338480$B1EB4C85-6B39-4D5D-8368-70AD28BA8990","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b183089f7d4daaf8bd0cdb19662efab2a46e276a","datavalue":{"value":"The author presents an interpretation of formulas that depends, not only on the formulas itself, but also on their position in the given (formal) deduction. Thus he associates with a deduction a Buridan-Volpin structure, which consists of the domain \\(D\\) (of discourse), relations and functions on \\(D\\), and a function \\(r\\) that specifies subsets of \\(D\\) as ranges of variables occurring in the deduction. Of course, the function \\(r\\) cannot be arbitrary to retain soundness, etc., and the author provides many definitions and much machinery (and examples) to make a coherent setting. He shows that, in the deductive system that is, roughly, Gentzen's LK without the contraction rules, each range \\(r(x)\\) can be required to be finite. This has ``some curious consequences'', as he points out. For instance, a theorem in set theory ``has an equivalent form which has finite BV model''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338480$7A62B26F-FF6C-49C5-BD7F-B6B6333F9AF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$916D093D-9347-4100-A97F-DF5226E2AB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$D2D4633F-283E-46DF-8DD2-4F9DB1A7BD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$8F177E7C-AAE5-497B-ACBD-3A0F2CDF3AA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c194d64b9b02c0d8a1f0bc373e9454469ceb69ab","datavalue":{"value":"698635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338480$989F35F7-9EED-4F9F-90C8-45B5A94D1637","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ce0e019514ebcb5603c27e40b3135bef76c0296","datavalue":{"value":"Buridan-Volpin model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338480$E60D667A-F527-4960-AE91-DF7C8DB18D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b88b1e237020883806cbcbd8bbf56c92487a246","datavalue":{"value":"location sensitive interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338480$983E384D-BA2E-4560-8B2D-DD54FC63AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338480$6FB551C2-0357-4C04-8E56-F987A5058D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4ada7f5e473351e0584746d775373d6654a101","datavalue":{"value":"Gentzen's LK without the contraction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338480$EA3216AF-66AC-4B92-B19C-690CE54DDBBC","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":"Q1338480$DFFC7222-A8DD-4DB1-B975-20536926668D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b9fea5dff89407be53eb2e9339eafcc77ad20b","datavalue":{"value":{"entity-type":"item","numeric-id":4018171,"id":"Q4018171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$8BF15A91-5C66-46F5-AE5E-AE5C3A63B0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$A90A20E0-2F07-4A9F-B242-8FE92046E71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ddfcc851ccf80d7e606779c9e0f513307ef84","datavalue":{"value":{"entity-type":"item","numeric-id":3777985,"id":"Q3777985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$D71B19A8-CD28-45A0-A326-658E1AF6845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c46b1c8828b7a908ced31b184a9cf7a09414c4","datavalue":{"value":{"entity-type":"item","numeric-id":689206,"id":"Q689206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338480$9BABEA6C-71F5-4510-A08A-F84712F3768C","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":"Q1338480$B2D3E09C-75EA-4F2E-B9F2-2F397452CD0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7d72a3bd86b313a84e59fe9f497f918acc6961","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1cbafb69a76becb20e14583b23c0a6535f3d9f","datavalue":{"value":{"amount":"+0.6993827819824219","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":"Q1338480$7E7BB40A-3649-42BB-BC75-4B64D6E2C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e9b67d522de08c380159a9de746c25decaa2e5","datavalue":{"value":{"amount":"+0.6947502493858337","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":"Q1338480$D1C7C2D8-7CEB-4E75-9F4E-DB403CDCEEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7eedcf52a0ff5ef62f10997e2907e658b05621e","datavalue":{"value":{"entity-type":"item","numeric-id":3773859,"id":"Q3773859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53182dea578be1134bfc02372e825b195488b14","datavalue":{"value":{"amount":"+0.6929836869239807","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":"Q1338480$ED7A0B71-7903-4F51-AFF6-761535531F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16a6599bd466718b5cf313cd391c1ec72e63198","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17801892d0d6b5af59c8fdcd022e5184aa672d18","datavalue":{"value":{"amount":"+0.6925443410873413","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":"Q1338480$2E0DAFCB-0304-4944-9801-83F4D8F0137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0acbb308c5a4bfbcf107f91e2e2f0782deec261","datavalue":{"value":{"entity-type":"item","numeric-id":5476779,"id":"Q5476779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbfa28f176e02ffa1821a500904e53fab40337a","datavalue":{"value":{"amount":"+0.6902037262916565","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":"Q1338480$82854D1C-1D1F-4FEE-B980-C6FA2711D3F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite analog to the L\u00f6wenheim-Skolem theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finite_analog_to_the_L%C3%B6wenheim-Skolem_theorem"}}}}}