{"entities":{"Q3985093":{"pageid":6014960,"ns":120,"title":"Item:Q3985093","lastrevid":42304079,"modified":"2025-06-04T15:16:03Z","type":"item","id":"Q3985093","labels":{"en":{"language":"en","value":"Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 29959"}},"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":"Q3985093$074A1640-D68B-4B24-A64B-B363C750A3FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c340f8d26b4f7c27c41525334ad84057c377a52","datavalue":{"value":{"text":"Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3985093$A312646D-6013-448D-A1B8-B6665362CA37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1274d2925445a8054f6b783c21d358bf0e8359d1","datavalue":{"value":"0743.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$B12A02CB-B35C-44A1-8DEE-FB5DCA823961","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0dfb012a1c43264409d4bd94cb3c5b0396c0ac5","datavalue":{"value":"10.2307/2275064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$EB8F846B-B566-49FF-8BCE-A3A7723EEB67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985093$F254F9B6-2004-49C5-A90D-CF12EEA64A38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3985093$0613AE9D-E47D-45DB-9B89-0863F8048779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$A2840559-6F06-490E-9943-1A8C98A6A3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$7DFFB38B-FF61-4ACC-A998-F0F5757CAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$3DFD479D-B7E5-4980-988E-6B91855945E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$CB1BEB07-FA92-43E9-9707-4785EFC204ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7818b341c5b3df7171f7abfd9e181b0aeb998f1","datavalue":{"value":"29959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$517A6329-C816-4A9B-B4EF-7B987A982DCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$E327008F-862B-45B9-9B18-13283E3E4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27cb66b7e7b90e525c4f949bbba360e23da726c","datavalue":{"value":"intuitionistic higher order arithmetic HAH","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$41323900-08B7-4BB5-9D05-837B5A5C7E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c66176a5a1d5a7ce49e7c0dddf470b884bb434","datavalue":{"value":"Church's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$0FB348E7-6E09-4DF4-B987-09867C05F5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa4db72529c216e6ca01eaf3dbb23b296ba453d","datavalue":{"value":"Markov's Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$A91A7FE1-1530-40E0-B2EA-9DD5C01D8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$22151416-AEF8-483E-88A5-F9F7C58ECA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985093$15BE82BD-E9D1-422E-958B-979E6D9C3FAA","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":"Q3985093$05942BCC-D841-43E5-9154-C9D7AE64C3B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a623e6b90906d0cd1c514105b3d78b98e5a83d39","datavalue":{"value":"https://doi.org/10.2307/2275064","type":"string"},"datatype":"url"},"type":"statement","id":"Q3985093$1DECABB1-FA33-4AD1-AE51-9D644BBD9AA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81609bc8d053ebfcc8b3737791b377508cd14dc8","datavalue":{"value":"W2122900435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985093$627BF20E-EDA8-4D43-B781-7FB4FBA2E818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e250dfefaa99cba2fba607d1062bc47e9a486407","datavalue":{"value":{"entity-type":"item","numeric-id":2287392,"id":"Q2287392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89dc57d7e544fc1f798553cdcefb3d1d99a64fe","datavalue":{"value":{"amount":"+0.8816019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$8596B1C9-8191-490B-8554-C5538F5E76FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7b032c2aa94ae358df0838a3d81d40a7a65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5434519,"id":"Q5434519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f186cc8fcc45caf904b5daddde6a28ecfe455d","datavalue":{"value":{"amount":"+0.87182456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$7C327674-5BB5-4027-9412-561A5758BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee6b781474ff4b460e1d7e7ef10fcb01fce4184","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b493cd78872e788c541aea6b1344b9e2a21702f8","datavalue":{"value":{"amount":"+0.8710363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$79669F01-4ADC-4C7B-A6A4-669DA2ED2A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a471a906cf9d4d870efb5f050bc56bed85055e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2362860,"id":"Q2362860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2456c790853dbcdbd5367cc8e0f2f3dcd2351a","datavalue":{"value":{"amount":"+0.86931336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$14EA9FE6-213D-4FDE-BAEA-F8B507107F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68f9ccbc02f25e825828a966efa103e9dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":1313594,"id":"Q1313594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f922160c8fdd0af51f52d42c7232efa591b6f98","datavalue":{"value":{"amount":"+0.86670697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$0E8D3795-BE79-4B4F-B05E-0F4A2DF998D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f77562ae49dd3af11244ec6bd7fcecfeaeb32d","datavalue":{"value":{"entity-type":"item","numeric-id":3514637,"id":"Q3514637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f5739f7c5eacaa8e6a62ed71047126b6eb3d7f","datavalue":{"value":{"amount":"+0.8660381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$3333C9A7-C0EF-4B79-A1EB-8BD85EB6F96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff9ddc6fe1a55941c90677f589ce0b4da36c7df","datavalue":{"value":{"entity-type":"item","numeric-id":4944901,"id":"Q4944901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477f53ea479dc6fbb61eb107e3f3b772d450a1c9","datavalue":{"value":{"amount":"+0.8651668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$6ADA9BB7-BE5B-4254-A260-434FEAA442CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004af5df0b5b6fd32e4a79c9a0e5191fa07e091a","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483a3cabd1863ce12cf4e91d83dbef254abcd600","datavalue":{"value":{"amount":"+0.86426353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$E62FED7D-8D5A-4FD2-9803-39D4CEA0A95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033a2cd142c6f42af635574ae698a82d212b6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1877095,"id":"Q1877095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbf4cf348d35562cfcc7ad5e61ee010b9fc29c2","datavalue":{"value":{"amount":"+0.8590494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$B3912C0D-9CDE-4FF9-8901-58A01A7FAD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5dea7aa1e4684dcb3d1512369ba1a4f4f1e72c","datavalue":{"value":{"entity-type":"item","numeric-id":5376171,"id":"Q5376171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f75ef3b98799d3e80fdb351db730775fc1bb5a","datavalue":{"value":{"amount":"+0.85759634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3985093$DECC84AC-8D33-47FA-BDF4-951C44023450","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985093$27D0B673-4839-4A66-BCCD-CA81DF6F7741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3985093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3985093"}}}}}