{"entities":{"Q1124586":{"pageid":1135335,"ns":120,"title":"Item:Q1124586","lastrevid":66183981,"modified":"2026-04-12T08:06:38Z","type":"item","id":"Q1124586","labels":{"en":{"language":"en","value":"The non-definability notion and first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112567"}},"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":"Q1124586$3EEE8543-84E0-4883-A077-2EA14E31AAD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2d2914d10c9af91dae2c27d1ff86de3c298eb6","datavalue":{"value":{"text":"The non-definability notion and first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124586$B8F321C9-3671-4794-AFA7-8DED5942DBFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"437c7de7e2716437dd3ea500dd1c0fbe4b1d0b54","datavalue":{"value":"0679.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$394AD5CD-51C5-4E63-84A9-73812569CD66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6082526b2599ad90e235cdac87783a88f4dc3ed7","datavalue":{"value":"10.1007/BF00671571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$C41B0363-1718-475B-A350-D5ACB7E76BF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$9E9BFE27-CC09-4F08-A8D7-107FD40371CA","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":"Q1124586$DA61BA95-43D8-4BE9-986B-A2637652AD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1124586$6580A1BC-7D0E-462C-9A60-CBED315962F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"74fee24dce65fcdcdd07dfae8585eb69131da20c","datavalue":{"value":"It is proved that first order logic and the three-valued logic with the notion of non-definability defined by Hoogewijs are mutually interpretable. This immediately gives some important model-theoretical results such as compactness theorem, interpolation theorem, Beth theorem and so on.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124586$33095C84-3786-443E-889A-447A1BE16270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$D4DD86AD-A522-4553-8DC6-8BA3A33BA43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$76E101A9-94FA-4B18-A7E0-9976E29B6D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$E18389E8-3D3E-4D86-B105-2E6596BE56DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab93502c1e756d2405046fdfe026e69b38cec3df","datavalue":{"value":"4112567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$9E290C4F-3ADE-4FAD-A3C0-FC948ABB93B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124586$681C1540-0338-4237-AFC4-438111ADCA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124586$356FB8AE-96AD-48E9-91BB-5AABEC2E3FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d756dbdf813bbb21507e5d756936d486ceb6d073","datavalue":{"value":"non-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124586$99895215-4254-4DDB-8976-B7EB475020E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"04586308a602420f6552590e395ab9c471c72c4b","datavalue":{"value":{"entity-type":"item","numeric-id":236516,"id":"Q236516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$CC05D050-2458-44A0-8D47-0059F6E2122F","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":"Q1124586$433B0768-7C0C-470A-B2B2-4BACE1171BE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8bd410bbdc58c285f03275dfcdd56fc31a23762","datavalue":{"value":{"entity-type":"item","numeric-id":5572299,"id":"Q5572299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$AC8CB928-836C-4134-A714-EFC2863D42C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49499fa413e0bbb6f66deafc0ad08df89338b209","datavalue":{"value":{"entity-type":"item","numeric-id":3050399,"id":"Q3050399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$14B4AAEF-727F-4762-B41D-6F4ACDFDF08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107b7ade2e5dee4a5ce02a0c6982bcf823cdb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":3671121,"id":"Q3671121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$2FBB2DAF-1767-470D-AD5E-A15463715088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0797eb67bf67b18eb183a07648a468c1422e66","datavalue":{"value":{"entity-type":"item","numeric-id":5617622,"id":"Q5617622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$7F388641-774C-4284-BBF8-24E27A79B314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf640306794bb84d9b8b8de6bd2da8ab4eb14b4","datavalue":{"value":{"entity-type":"item","numeric-id":4777259,"id":"Q4777259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$26365308-49BD-4B2F-84DF-BAB2DF62D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69717fe24b9ac3f049a2fa297cf24875ca00fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":5328150,"id":"Q5328150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124586$867A64C9-DB52-42A7-9077-535938FEACB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0797c945704db73f2b207c547bb539451e91f425","datavalue":{"value":"https://doi.org/10.1007/bf00671571","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124586$58457A23-8F74-4C9E-8CC8-1B76EFAAE4E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f4a7e94c01fc50a8f159eb8703cf36c90fd406c","datavalue":{"value":"W2062563922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124586$A257D854-1F7C-4635-B1CA-F75E61E760EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135ebaedf68f87dfb202835ff80762f46e725e18","datavalue":{"value":{"entity-type":"item","numeric-id":4365302,"id":"Q4365302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3232dd35ced844aa915ec7e527a2af4ea9d33f60","datavalue":{"value":{"amount":"+0.7763563990592957","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":"Q1124586$565CD011-0AB3-4A14-90CD-771F2BC78B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b28e447bf21f942353a45ce3ad8033d2fd58db","datavalue":{"value":{"entity-type":"item","numeric-id":4820598,"id":"Q4820598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3232dd35ced844aa915ec7e527a2af4ea9d33f60","datavalue":{"value":{"amount":"+0.7763563990592957","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":"Q1124586$5D7E2B7A-371E-4597-8424-6DD126F049A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95107c1274f0e060a2880da5ef3506624206074","datavalue":{"value":{"entity-type":"item","numeric-id":4722043,"id":"Q4722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a419d7a4bebc0090e90c2e27f0debc6ed290c5","datavalue":{"value":{"amount":"+0.7649226784706116","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":"Q1124586$E161FF56-08EB-494D-B7FC-64F5AAC35BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f2c1c555f64b2a4d54d3c29f93a22062fc43e5","datavalue":{"value":{"entity-type":"item","numeric-id":1095881,"id":"Q1095881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa4ee75e66b46eb0bbe81ed77c6ea44baadb917","datavalue":{"value":{"amount":"+0.7441629767417908","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":"Q1124586$937CFCC4-A6C0-458B-8919-BBFB9BC0EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2fc318dcde575fcd75081565c3739be49e9140","datavalue":{"value":{"entity-type":"item","numeric-id":3795662,"id":"Q3795662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63a18ff2d83cbf4144a5c75e45fb25598b11aa6","datavalue":{"value":{"amount":"+0.7334041595458984","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":"Q1124586$2D7BDE27-9369-4918-B3BC-351F6A7ACF30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The non-definability notion and first order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_non-definability_notion_and_first_order_logic"}}}}}