{"entities":{"Q1377911":{"pageid":1388651,"ns":120,"title":"Item:Q1377911","lastrevid":46993977,"modified":"2025-12-26T00:32:32Z","type":"item","id":"Q1377911","labels":{"en":{"language":"en","value":"\\(\\Delta_ 1\\)-definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1110522"}},"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":"Q1377911$152F38EF-B606-4264-80A3-97A117261B06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5fdc84216b25acd22c0932e712cdb2c7c375679","datavalue":{"value":{"text":"\\(\\Delta_ 1\\)-definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377911$084EB797-1791-43DA-9C31-9E1A92BB8281","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29361f49400bb9fa92555db9f1946f1e84eba383","datavalue":{"value":"0889.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$A02C7DB4-2E18-43CA-A9EC-082D41BCBAFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3eae795239ed01df43c969b2ba34541753b7bc7","datavalue":{"value":"10.1016/S0168-0072(96)00023-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$9CFDCE20-C72C-4904-A557-96DEE6534BEB","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":"Q1377911$4F1751FC-AABE-4AB9-8998-C18FB9962EEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7973a90269141d62c572638d0658f506dd7b9df5","datavalue":{"value":{"time":"+1998-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377911$BB785E40-B646-42F9-B52C-40B4C5B560A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efe9a99a48b44b5d9349ec7e00ac1470456da749","datavalue":{"value":"The main theorem of this paper gives a sufficient condition for a class \\(A\\) of ordinals to be \\(\\Delta_1\\)-definable from a real, in a class-generic extension of \\(L\\). The condition demands that \\(A\\) be well-behaved with respect to certain condensation arguments.    By way of an application the class or ordinals of cofinality \\(\\omega\\) is shown to be \\(\\Delta_1\\)-definable from a real that lies strictly below \\(0^\\#\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377911$369AE4D5-3ABA-4D6C-9F48-1F4392465B78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$B8CB3699-30A1-4346-B2FF-C5B8C0C003A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$6DF1DF08-FA8A-46C3-9D4C-71EAA79072EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$F3A762C4-0EBC-446B-B9B8-7B3C6DCD75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$93312F19-A975-4807-B0AD-420AB8F7C1E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5b6dfd188427e3a4953f5c001980a98f6d18a48","datavalue":{"value":"1110522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$256FCB42-F96F-494C-8EA3-178DC8550105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9116a5fdd1004c4705aa0d94a54f1415aeb522e","datavalue":{"value":"ordinal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377911$E8C6F242-A05C-4994-9C27-4824F1C408E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddc84d0bd7587c2bd86897b4a6314bdd2914d19","datavalue":{"value":"coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377911$0DF2C344-61DF-4655-93BD-A7F8C600132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377911$663F5276-853D-44A6-B5DC-078A2138C2DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$D8F34D35-EC5B-4E95-B826-811839A4B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4433522dc629aa9929a8383fa13dcd08837b2a27","datavalue":{"value":{"entity-type":"item","numeric-id":194964,"id":"Q194964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$96629339-5E55-4227-8C21-381E8DD331DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$DC5BDC03-605F-4D88-8431-B38054D7E40D","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":"Q1377911$1972533A-CAEC-45B2-BA0D-D09CDD5A1E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$20669A0A-4524-4983-8AEE-2EA468C316F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c13276c6f1385c40c99179e87ad2288e60b9505","datavalue":{"value":{"entity-type":"item","numeric-id":1824615,"id":"Q1824615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$D9394BFF-3E54-43F5-8338-0E552DE63758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7473165a46f692de46f81644a10983097732bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":4106202,"id":"Q4106202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$E3298117-9DA3-4249-9063-406DE241E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd575c37219a92676050b7b9e11a99694000e70","datavalue":{"value":{"entity-type":"item","numeric-id":3731594,"id":"Q3731594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$4A7CCE92-2D0C-4B4A-8150-C1BE828C5C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$6F3BABD2-B628-4BFB-8DE6-F70A91FB8F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e332cb498972cec9cb0244c1b15d5b9cb71cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4868617,"id":"Q4868617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377911$CB231CED-3D1D-4438-A443-545D13C8928F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52590e014d62d8a9f4bf7c9fe5ff0efd8103b23a","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00023-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377911$FC47EB98-8F6C-4D54-9D3B-8ACA7A40A831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ee4c0228f316dd6ff00f07c070db9b322ebeafe","datavalue":{"value":"W4210398360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377911$CF76930A-60C2-46F7-9ADC-0C109DDD25A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbd0833f7d1a09e8054d171643073bf19d161de","datavalue":{"value":{"entity-type":"item","numeric-id":2636533,"id":"Q2636533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df85cd5276abaab392d4b655ccb5c294849e0fa","datavalue":{"value":{"amount":"+0.7414222955703735","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":"Q1377911$D4195022-68BD-40F5-A25D-449218F9FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f494d4b8c0c364e50ecfab6d43ded918c28426f3","datavalue":{"value":{"entity-type":"item","numeric-id":4254640,"id":"Q4254640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa592f5a3cecbf72990832b3e92e78aa084ffcdf","datavalue":{"value":{"amount":"+0.7344269752502441","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":"Q1377911$AF4B49A4-2747-4875-A090-8EC9A7DF71F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5ba31dd6f20dfac32e1e6fe0e4536be6f2577d","datavalue":{"value":{"entity-type":"item","numeric-id":3218113,"id":"Q3218113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f6441f99dbadca2cdd37ec5a50bdb58a8d0aab","datavalue":{"value":{"amount":"+0.7325306534767151","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":"Q1377911$7973BE40-10EF-4293-A09C-809B7EE3950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42bbfb9b46fadde6d49eb062b0ee9b96cc2a78f","datavalue":{"value":{"entity-type":"item","numeric-id":4247033,"id":"Q4247033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6578052bc4fd8d1a57d0eea470be87df29c1074b","datavalue":{"value":{"amount":"+0.7077162861824036","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":"Q1377911$D277BF61-636D-4ECC-8774-DB015992107A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377911"}}}}}