{"entities":{"Q914670":{"pageid":916518,"ns":120,"title":"Item:Q914670","lastrevid":65379162,"modified":"2026-04-12T02:11:25Z","type":"item","id":"Q914670","labels":{"en":{"language":"en","value":"Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150154"}},"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":"Q914670$4CD9856F-C3E2-4F2E-8E00-0A834219E77A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8efe73355ea483e003797f2f6af48c632cacc6","datavalue":{"value":{"text":"Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914670$04A96177-9F03-4852-93A0-ABB86A789063","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ed4c65c5a0f4fa1dc7cc786f3c3a17fec3f2a33","datavalue":{"value":"0702.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$643E519E-3FD7-4D2F-B9F9-60B2DD99299F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a86887fdc143ade6891ef60b22c30bf195c8c674","datavalue":{"value":"10.1007/BF01634979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$3D5BE58D-1FA0-439F-B755-820717E8C154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914670$FA7ECAAB-40FE-431D-AAA0-12125DB55CBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914670$A97B548A-E30F-4CE2-8BE2-A97D6B0E57CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q914670$8F888CC9-0206-49D8-8CE8-1F035BBE5B5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5c64576e73540e7f839c281b86024e1b6a2e551","datavalue":{"value":"The author fills a gap in the proof of Theorem 12 of his paper mentioned in the title [ibid. 27, No.1, 21-33 (1988; Zbl 0645.03031)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$816742A3-AF7E-475E-8CB9-BE84262298CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$D76E687C-10C9-4D41-A533-5400C4EE6F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$C1773C00-F3CD-4195-89AD-C507F6EE3C17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26df9c342e4e12c8853de8b7d4659ac78e51ba6","datavalue":{"value":"4150154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$5B6964E9-B1B4-44A5-B7DC-D447F7E68DE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$3BC10FF8-331C-4513-8AAA-4E6F357C4E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d75109db94197a2c7d4644515f497e9b7eec79","datavalue":{"value":"expandability","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$7765895F-B4DB-4D85-AAFA-011098717F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e04183e937d39c8f73a58e372a7f2c1d080846b","datavalue":{"value":"nonstandard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$2B46411D-DFBB-48C9-A85F-EF3FC78DA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5307e43959b88c4cccf04b113f239f7ba9d9fc9","datavalue":{"value":"recursively saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$AF9B7877-928F-4844-AFC7-F23EE352DE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e97fbe1c0dc0dc181247b2d2f00a4af3c3d5190","datavalue":{"value":"nonstandard definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$858EB92E-579C-4DFF-A2A4-28EFA62FF01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603a9121b6d360c7de8dfa181b7cbda0fd2a43ec","datavalue":{"value":"countable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$F5F23E7F-7E7F-4481-B255-1D63E03F3949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a9c19972e406f2ed34bca2a2a1f5a9eda39866","datavalue":{"value":"satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q914670$C08AACEB-5272-422A-BFA6-A9978AAE83A8","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":"Q914670$ADABAC83-85BD-4EBD-996D-68792AFD9787","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb82a6fb6dfb130d645020701ae65e2abdbc16b6","datavalue":{"value":"https://doi.org/10.1007/bf01634979","type":"string"},"datatype":"url"},"type":"statement","id":"Q914670$46E60687-6687-4561-88AE-707ABC033051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c1b3d27e2ffe33a67840c972aa3e801f74bc73a","datavalue":{"value":"W2054478443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914670$4A6F7465-B79B-484B-B091-214F421EF453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Appendix_to_the_paper_%60%60Definable_sets_and_expansions_of_models_of_Peano_arithmetic%27%27"}}}}}