{"entities":{"Q786802":{"pageid":788650,"ns":120,"title":"Item:Q786802","lastrevid":64328109,"modified":"2026-04-11T19:06:54Z","type":"item","id":"Q786802","labels":{"en":{"language":"en","value":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3837985"}},"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":"Q786802$358C0EF8-A64C-43FB-A841-DB6EFDD92FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"898efe33849385af56f91775463fa6535d7c91b7","datavalue":{"value":{"text":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q786802$D0814055-12C2-4F34-A226-4911CEF12CE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d5fd97c86d0c3a6da2d4bc9d5b0df3bfc455ff6","datavalue":{"value":"0528.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$181AF489-2ACD-4F51-A35D-FF200F460CC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786802$6018DB22-7B75-4515-A87B-CD806731134F","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":"Q786802$5FB6EB03-4742-46DD-8294-5182696A5ED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$8AD7BBDB-4496-4FA9-A039-965AA47E56C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$5A4E38F0-0A41-4D6B-9BF0-1BA7CF6C483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$0D4DD84D-E0DF-4E61-BEDD-6B3910EDB62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$4051F0AF-F4A0-4FF9-A519-FF2992E0C781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$DC7CEC93-6D12-4E92-BC5E-C07219DB180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$C154AA34-E18D-4F50-A6AA-5BAE8164076F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$6F036975-9380-4B97-A55D-A59F9270C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$DEADC454-B41A-4C07-8AC0-BE35B2526E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$3ABDCFFF-E66A-4B20-B977-72866757EF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$58087FB5-4E98-47A6-9C8A-220F71BDB550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$E4512CEF-2AEE-496E-8787-CE472AAC4B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$9CDB8C18-4C9E-489A-BBDB-82F1322F754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$76F487FE-C05A-425C-B960-4AFBF250C43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$3359052D-06C7-4E8A-95B3-216313C11B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$A27BCE89-0087-4A24-B476-8477C8BBC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$45064BA2-399E-495A-B833-0AE45AB1517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$F617C815-A749-4926-A154-75713E68B38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$241567B0-E7C6-476A-867B-165D9DF839D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$4FA4ED47-19A8-497C-8BC8-EEF2583F436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$D5D11755-658C-49A0-8003-716AA797403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$4AC4453B-83AD-4D9C-AD7F-EC2F8019401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$2F8703BE-F7AA-4DD7-BE5C-96A3B88D39ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$849BAA25-6908-42E0-B6F4-F32AA17C3855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$8ED19E74-111F-45E6-A47E-ADE8A880C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$ACB07E99-0342-415F-8B9C-D377C1B139DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f41d5eafbca1b4191a5fe8ff85e40338ac869ec","datavalue":{"value":"3837985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786802$4624C69E-145F-4054-8F2B-0C7F641CE1D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f4372d8da9f5ebba4dd48d457574e100aef865","datavalue":{"value":"alpha-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$238E5FB8-8374-4A73-BC19-EAB3A95604B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea87e0d6cf15f7520a7e2f526daa500f2c58bd7","datavalue":{"value":"research survey articles","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$C141C84F-E4BB-4401-9807-E141A61015A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$DCCF7527-DD78-4C91-80F5-4EFFB3DFE854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a6f7cbbad042c1a7f39762795b0a1dceec47e5","datavalue":{"value":"homogeneous sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$6FB84644-9EA9-4B76-80A9-7E508B76DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$C8BF3F7F-F4D9-4BF9-8CAB-F9849D740AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$4B18A121-413A-4DB6-9CE7-79542ED7A7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9293afa69efa72607bb6bbfce54871b214d6ba24","datavalue":{"value":"unsolvable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$7606149A-6022-4CEF-9060-4C826A489C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$3135DEBB-1B6D-47F1-A000-FB711F08B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e1a492030d78b302e449f3af6ea64f8feeda4c","datavalue":{"value":"projective sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$16960D44-9D2D-4FA2-875B-716F8971A339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$868F8567-74F4-48B2-85E4-86F2DA26DDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$3C24F4A7-D8F7-4E92-850A-7EA5B2F3FE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5be61eb1c7dd3763733b7bb411532382b1a22d","datavalue":{"value":"theories of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$875E622E-4F4A-4C75-8062-E6AA6F1867FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae742706b318664be1f54dd1522bd0c2396279e0","datavalue":{"value":"type free lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$C6FE47F3-91A7-4404-BC07-92AA120BA79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$5881AC0E-A179-4644-8C83-E172CD139AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q786802$66CB2C58-F646-47CB-80BC-B8CFFF16A7A7","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":"Q786802$15801F14-8AA6-415B-ACA4-C84A3C718A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Handbook_of_mathematical_logic._With_the_cooperation_of_H._J._Keisler,_K._Kunen,_Y._N._Moschovakis_and_A._S._Troelstra._Reprint"}}}}}