{"entities":{"Q1144008":{"pageid":1154757,"ns":120,"title":"Item:Q1144008","lastrevid":66235347,"modified":"2026-04-12T08:26:59Z","type":"item","id":"Q1144008","labels":{"en":{"language":"en","value":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3691296"}},"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":"Q1144008$6C854797-A991-4234-8796-FA8828C13CC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a330560be30176ae9b4e5bad89dbd3ddefebeba2","datavalue":{"value":{"text":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1144008$43C0ED9D-E8DE-4769-B74A-C6919C25997E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c09c94c7bd3872cdabf4896fa9544b670c0b7eb","datavalue":{"value":"0443.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$CDD5AB6C-4CAD-4894-BFF1-02B163AED30A","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":"Q1144008$37D07A33-1E91-495F-94C2-50BA3BF4A5F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1144008$E1DCED91-51B7-47B4-BE4D-FC7563C880F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$C40023E9-29D5-4DCD-98EA-63849E88CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$60922FBA-1338-4217-B6DE-90EE8EC8A460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$6D437DCD-19F3-4027-8A14-91B5A2571BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$3A521845-98A3-45E1-B6AC-8C596C486DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$94BFD7E4-56C3-49EB-BC35-6F8F634895EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$7B22FB7C-165E-48D7-907D-70AEFB888102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$1AC70717-CE0F-4896-8EAA-A632E5447B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$9E635F10-30BD-4DE1-83BF-DE65D88BD1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$98537827-EF82-4C30-9F0E-FB6FA90AE184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$8988592F-1C1C-4124-B233-2D7548DCEBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$7BBA2281-BF44-44F2-806E-C3889C5EB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$FC39E119-139A-4626-9C89-04FC5912F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$6A2A58EB-54DB-4B7F-B90C-138910ED5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$4B26724A-AD95-4B13-A1B3-D8A5E440150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$0BB06CCE-435F-43FB-9DEE-0FC2A041C14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$A67D853B-B53B-4B43-987F-8CC5F63AAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$61CAB891-5471-4D99-94F4-4D62A7C7725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$0D0DC519-AA43-4D04-8D4A-514214340444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$E537647A-6299-4CBD-BB27-C9432EDA925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$6E73A692-5BE6-4C08-908F-EAB301BC89B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$7930DF83-313A-43E4-82E4-7BC76B2F6127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$739C022F-FFF0-468B-8C0C-CFA81AF0A88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$60F51DB5-E03F-4347-A8E3-B5FE1F7E94FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$07446FB2-5BA7-4685-A5F1-D61CD9359033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$F648C877-E340-48D5-A40A-8EE25662FBA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"351082bf0daa6b2705cdf1a2e70aa41cc4bc8166","datavalue":{"value":"3691296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144008$F9FCA1D8-381F-424F-8E8B-709758D0A949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f4372d8da9f5ebba4dd48d457574e100aef865","datavalue":{"value":"alpha-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$07381145-F006-43A0-BF0A-D298F1FE527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea87e0d6cf15f7520a7e2f526daa500f2c58bd7","datavalue":{"value":"research survey articles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$E80C0C7A-BEF4-4C2E-82D9-CD5E829B8FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$5AFE1ECB-57DA-439E-8D5B-BD05DBC7EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a6f7cbbad042c1a7f39762795b0a1dceec47e5","datavalue":{"value":"homogeneous sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$12A7CFB4-C427-4A46-A575-0E34DC643746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$31373F27-013A-404E-8D7D-58BE97995F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$E8A13BC5-00A8-44B6-98DD-F552134EA381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9293afa69efa72607bb6bbfce54871b214d6ba24","datavalue":{"value":"unsolvable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$3B684F4D-7AC4-4CAA-8081-000D101725A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$0683F5A5-6C48-4E23-88DC-559A396B96D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e1a492030d78b302e449f3af6ea64f8feeda4c","datavalue":{"value":"projective sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$06D2BA75-B9E0-4029-8D7C-1587B8F79225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$6D3DCA53-EAB8-4039-870C-F566F55831A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$5736C0B4-3AC0-45FA-ADA9-4C8CDDDD57D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5be61eb1c7dd3763733b7bb411532382b1a22d","datavalue":{"value":"theories of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$2BA2480C-5C48-44FD-8594-133C16179C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae742706b318664be1f54dd1522bd0c2396279e0","datavalue":{"value":"type free lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$A9EC5E6E-CD34-4AF9-921C-59F739C5A0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$7E692C57-4704-4475-A026-77FB8AD757F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144008$78FD9A0D-44D8-4B5D-9F31-60E7C88B252D","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":"Q1144008$234F53B8-AF97-4362-B7D5-CDD4CDD08D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Handbook_of_mathematical_logic._With_the_cooperation_of_H._J._Keisler,_K._Kunen,_Y._N._Moschovakis,_A._S._Troelstra._2nd_printing"}}}}}