{"entities":{"Q1097266":{"pageid":1108018,"ns":120,"title":"Item:Q1097266","lastrevid":66967530,"modified":"2026-04-12T14:03:03Z","type":"item","id":"Q1097266","labels":{"en":{"language":"en","value":"Expressibility in the elementary theory of recursively enumerable sets with realizability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033721"}},"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":"Q1097266$2064DC70-EFB3-4756-B017-16D0BA107B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9e762efeb946f1a4deacda0790d8baa678c941","datavalue":{"value":{"text":"Expressibility in the elementary theory of recursively enumerable sets with realizability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097266$254837D8-0F88-4CCD-B796-DDAA479192CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f60746c489d7e910d6a512c9a95990765375e0f","datavalue":{"value":"0635.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$5048CA9E-E6D8-439E-9A7A-9A989E34EE4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5007af5d1c39522f944749efeca042e01afac828","datavalue":{"value":"10.1007/BF01669112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$2A78DAE2-C76B-4363-95BE-C2144FBD407D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1ec0d09a4d34a4d5c415d285f380abb492b9b8","datavalue":{"value":{"entity-type":"item","numeric-id":1097265,"id":"Q1097265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$DE44BA26-AE8C-4FCE-8B2B-76137A9BA24E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$EF3204FF-9F3B-4440-B63F-DBCE7D76F782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1097266$9A16DD3F-F4AD-4087-ACDC-EE09643E716D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ef31cdaad14a21b0b029f9be29c9eb20d91d23","datavalue":{"value":"https://eudml.org/doc/187145","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097266$B58167E1-7107-4997-BEC2-AAD300F67452","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb9e63e1edda8e3cfb855cdd011e576605c25f71","datavalue":{"value":"Let \\({\\mathcal L}+{\\mathcal W}\\) denote the first-order language obtained from \\({\\mathcal L}=<\\emptyset,N,\\cup,\\cap,'>\\) by adding the symbols \\(w_ 0,w_ 1,..\\). as constants. The author defines the relation e r \\({\\mathfrak A}\\) (``the integer e realizes the closed formula \\({\\mathfrak A}'')\\). Let \\({\\mathcal E}_ r\\) be the set of all realizable formulae of \\({\\mathcal L}\\). A predicate \\(P(X_ 1,...,X_ n)\\) is said to be expressible in \\({\\mathcal L}\\) if there is a formula \\({\\mathfrak A}(X_ 1,...,X_ n)\\) of \\({\\mathcal L}\\) such that \\({\\mathfrak A}(W_{i_ 1},...,W_{i_ n})\\) is realizable if and only if \\(P(W_{i_ 1},...,W_{i_ n})=t\\). The author proves that the predicates ``X is finite'', ``X and Y are finite and \\(| X| <| Y| ''\\), \\(``| X| +| Y| =| Z| ''\\), \\(``| X| \\cdot | Y| =| Z| ''\\), ``X and Y are finite and \\(| X| \\leq_ 1| Y| ''\\) are expressible. This allows him first to embed arithmetic in \\({\\mathcal E}_ r\\) and secondly to obtain a complete characterization of the class of all predicates expressible in \\({\\mathcal E}_ r\\). Namely, a predicate is expressible in \\({\\mathcal E}_ r\\) if and only if it is recursively invariant. The proofs of all these results are simple and elegant. The main regrettable feature of the paper is its completeness. The author has not left any work for other mathematicians.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097266$4FF93122-E24A-4E1D-9033-EB27CECAD226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$48ACADD3-0554-4505-A9C5-7A7CBB63B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$85B0E309-68E6-4BE6-AC54-50A1881BE577","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0437614cedf46d1fa12e97387a3da1e9895a25c8","datavalue":{"value":"4033721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$8DBA66E6-A592-4CFB-A8C2-DCB0E7A0BB5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73386a6a0e7cf38dce05a182b0c4917d5d8471d4","datavalue":{"value":"realizable formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097266$C0FD5304-0B01-4C65-AC5D-A1915F0894B8","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":"Q1097266$7018134A-3D02-42C5-A152-09175F308692","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$C51692B3-7C0F-40EB-9F5C-F83B08A93807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$1E4CF294-1508-4884-AA93-4F75A9674DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30fa5cb203dfa828e9c57936177288f1a5c5f64","datavalue":{"value":{"entity-type":"item","numeric-id":5619077,"id":"Q5619077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$409D8B1A-F789-48FF-BAC9-B6C01155A7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29d8c48c3aa38a1acac6ddf3cd28b00b626ee9a","datavalue":{"value":{"entity-type":"item","numeric-id":3853616,"id":"Q3853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097266$54F33631-8D71-4383-A529-181E71FA7028","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10b08371e8c500cbcfd27356ecf25812cd4771f8","datavalue":{"value":"W2076547260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097266$5D95E025-32FC-46E9-8EFB-702D3270E0D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1077f7bff3d16676a04b45d213b72467f00843ea","datavalue":{"value":{"entity-type":"item","numeric-id":3773862,"id":"Q3773862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e9cd760bf33c78e0ea41176457dcbec1db98c1","datavalue":{"value":{"amount":"+0.903310477733612","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":"Q1097266$EB3F4826-2A0B-49DD-B883-4109EF491785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa7bba6ae9d6de2742395c9d5075ee33a2f67d2","datavalue":{"value":{"entity-type":"item","numeric-id":5749281,"id":"Q5749281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c3b6e056a9954c7cd1e23c889c68a7ab841211","datavalue":{"value":{"amount":"+0.7796488404273987","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":"Q1097266$7BBF9F8C-A1A2-451A-B866-1CE7A3DB246F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044984190ce371fbd49235e618520e2bbc15fdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dc272ae675b96468b82f6db7f59c7169672252","datavalue":{"value":{"amount":"+0.7675338983535767","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":"Q1097266$C999CEA4-B2FF-418E-90FF-6C1572205A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c655dec121902e15c1059587cc1343191140eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3808083,"id":"Q3808083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29de5149cb5550f3fc1d5e5a35a435d6d9f555ad","datavalue":{"value":{"amount":"+0.7670121192932129","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":"Q1097266$D3F3C8FF-5DE3-4CD5-B6BD-39609B5D11A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef693b01979bd1461ce4d07654cd0af3b98d38c","datavalue":{"value":{"entity-type":"item","numeric-id":4323833,"id":"Q4323833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ead1f6d8eb50b2c6e021a1211845799d25843dc","datavalue":{"value":{"amount":"+0.7587924599647522","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":"Q1097266$B4D31803-9547-40C4-80D9-BDD8ADADE88A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressibility in the elementary theory of recursively enumerable sets with realizability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressibility_in_the_elementary_theory_of_recursively_enumerable_sets_with_realizability_logic"}}}}}