{"entities":{"Q676310":{"pageid":678159,"ns":120,"title":"Item:Q676310","lastrevid":46765968,"modified":"2025-12-25T13:30:21Z","type":"item","id":"Q676310","labels":{"en":{"language":"en","value":"The self-embedding theorem of \\(\\text{WKL}_ 0\\) and a non-standard method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992110"}},"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":"Q676310$6423CE6E-B2A2-43E7-BB88-128D784E2E62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eff3aed5dd1e8e505f25e34f79196f8a948ba57","datavalue":{"value":{"text":"The self-embedding theorem of \\(\\text{WKL}_ 0\\) and a non-standard method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676310$8FF4EAC3-675D-4E95-B472-1399A8545D69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50fa6d960f2e1951cef9c2f43192b4ff852532df","datavalue":{"value":"0871.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$1E4C140A-826D-4DDA-9F10-8EFF7FC9BE56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d4ac497bd014fb0eede3ca1c0aa9369aa6c080","datavalue":{"value":"10.1016/S0168-0072(95)00058-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$41D1B3C1-F5D8-4AA4-9AFE-633FD47E72E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$49716447-FA57-42E6-9966-D719CDCEB3DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$1899D96E-EB52-4946-8C2D-64FAEB029D46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c89b8e200b9c34622380aa901498691de377367","datavalue":{"value":{"time":"+1997-09-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":"Q676310$CA4B93B8-4559-4B44-8313-00D1FB4577A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cb8e25d702b78ce39244bda3ada180d294d7414","datavalue":{"value":"\\(\\text{WKL}_0\\) is a system of second-order arithmetic consisting of the axioms of discretely ordered semirings, \\(\\Sigma^{0}_1\\) induction, \\(\\Delta^{0}_1\\) comprehension and weak K\u00f6nig's lemma. The paper is devoted to the proof of the following version of Friedman's embedding theorem: every countable model of \\(\\text{WKL}_0\\) is isomorphic to a proper initial segment of itself. In particular, if \\((M,X)\\) is a model of \\(\\text{WKL}_0\\) then there is a countable model \\(N\\) of \\(I\\Sigma^{0}_1\\) such that \\(M\\) is an initial segment of \\(N\\) and \\(X\\) is the family of subsets of \\(M\\) coded in \\(N\\). The last section of the paper outlines an application of the embedding theorem to the development of the theory of continuous functions in \\(\\text{WKL}_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$0E3A7818-BF24-482C-9C4C-BE340A658A34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$8AEEBB15-A14F-4C81-BB91-50B43AE2A758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$0E9BFE4C-AE1F-49AD-A82A-8DCBCCBAD7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$7758489E-5E50-4DC4-91A7-49136C9FD3CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81aa279bfd45a194b6d84b23f389539f8adbac8a","datavalue":{"value":"992110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$D8535B32-9DAD-4247-9A41-4D375CA46EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$52354ADF-9639-4AAC-B19E-11A1A438DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$B4AFB49D-AC57-4983-9004-2C407A317B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12714205705359768d4a2a0a68a6450b184f23eb","datavalue":{"value":"Friedman's embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$5E9DAA5A-5682-4E17-AC57-EDB6196202C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e8618466c0ce9246c3e67ffa10167bb73c3389","datavalue":{"value":"countable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$A2D7B645-479B-46D9-880C-0E1FA6311046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$F6B3F821-6E22-4D29-8683-C6DF5E1BAE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q676310$E7F08D42-8075-4B1A-9C67-0B2C0376FD42","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":"Q676310$2798F8CE-5AD8-448C-8798-5070D91EA3C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f4a9ba1b372886463ca2d34c55f08eadb9b2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3701406,"id":"Q3701406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$865C191F-611B-4CCB-90EA-A8ECCE73D6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7df236be969c8350307b4f4ec3f3cf940656b33","datavalue":{"value":{"entity-type":"item","numeric-id":3753990,"id":"Q3753990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$5B54E541-7F93-4986-9F36-A21DAFC28BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$7D3CB1FA-593F-4A0C-9D8E-65E5064F336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$306BA261-1DA6-48A1-8EF7-7E9BFED12775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$0BEE8F60-2EF6-4334-BCE0-307AD60F27A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f63907a77d0ce37b27db2976678c7278be2a4e0","datavalue":{"value":{"entity-type":"item","numeric-id":3323933,"id":"Q3323933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$696D5F9E-381A-4867-A7EE-B40B2F9DE625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1697775dd3a0ffa029813e5b9745779fe16361a","datavalue":{"value":{"entity-type":"item","numeric-id":3792686,"id":"Q3792686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$85A50A16-E18A-4877-BDF6-348C382C16BD","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":"Q676310$BB7D47EA-9F2F-4FFC-8777-376B6E4D7744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f56c47bfb5e73f38c450fc9d4e062064c197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596777,"id":"Q5596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$CD72851B-B3CD-4EDD-8BBF-8EAD371311A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$B399B2D5-CCD4-41BB-9057-E78BA25C9457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b8959fcb42d1ae02bd3e1121ffba580bef4d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302475,"id":"Q4302475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676310$B8FE42D2-E98D-47E1-8A7C-EB50E9AE14B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d4d456b95591c1dfc78cedf6eed61331b713c99","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(95)00058-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q676310$C23CDF25-F6A5-4FE6-94B2-80810863BB1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e483be184ba259f0d3ecd279613d63a3a35ea73","datavalue":{"value":"W2094306267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676310$9B74A6D9-19EA-4EAA-916F-BAF524F4E300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d53218fc51240b1b3244cb0bd795b0e1375e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2204369,"id":"Q2204369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed704a66c85c67504410b3e474d0dd13063038c","datavalue":{"value":{"amount":"+0.80135577917099","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":"Q676310$AB494252-9C81-46B9-8E5D-738EC3CDBD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604c142f91f0083f7bf930e69676737dd6ea8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5222077,"id":"Q5222077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84afc97be11a685ca468be81a0d4910ea4652c3","datavalue":{"value":{"amount":"+0.7884379625320435","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":"Q676310$9C9F3267-46E8-4A8E-B2A1-20B575E7DD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b2b61a0e9de3217a0c22a1af35f02c66c825f8","datavalue":{"value":{"entity-type":"item","numeric-id":938231,"id":"Q938231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c161a78801b20e62dd18c169422cd4ed53597d3","datavalue":{"value":{"amount":"+0.7837563753128052","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":"Q676310$2020FD8B-B6AE-46D3-BCD0-D20B8A897DF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:676310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:676310"}}}}}