{"entities":{"Q1288078":{"pageid":1298828,"ns":120,"title":"Item:Q1288078","lastrevid":46744485,"modified":"2025-12-25T12:30:59Z","type":"item","id":"Q1288078","labels":{"en":{"language":"en","value":"Strong \\(\\Delta_1\\)-definability of a model in an admissible set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1285472"}},"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":"Q1288078$8D3FD202-9CE1-4129-8B87-181C42175D31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b6ed2cc6f223b1ffa498df37584f571f47dd76","datavalue":{"value":{"text":"Strong \\(\\Delta_1\\)-definability of a model in an admissible set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288078$188B3B2C-62FE-4526-AAFC-C6E10B14A90A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc5e37d0ae8fa573fea26ee6014967eaa769b03","datavalue":{"value":"0914.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$65BFE392-5F5B-46C5-B652-563F89A76FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1596cf3992a1fa9e95e9f4b4fe432054de006d","datavalue":{"value":"10.1007/BF02732371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$AC78DD87-C7F3-4D5F-BCFA-EB96FA3B7652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d22b5d553a61f7a79b4315c8cb123debbcd4d5f","datavalue":{"value":{"entity-type":"item","numeric-id":259848,"id":"Q259848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$45511F68-C8BE-4E79-9389-156F49BC7596","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$5F91811F-8498-4486-8939-2F0F943D2CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d813d017569a88be575f72f65c9be3f8b448fdd","datavalue":{"value":{"time":"+1999-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288078$3F492B4F-3468-41FB-8B4E-A070BFA10918","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a33f337dd76845ed1a02197de6ba82fb14de1065","datavalue":{"value":"A model \\(\\langle M, P_1^{n_1},\\ldots,P_m^{n_m}\\rangle \\) is called strongly \\(\\Delta_1\\)-definable over an admissible set \\(A\\) provided there exist \\(\\Delta_1\\)-formulas \\(\\varphi(x,\\overline{y})\\), \\(\\psi_1(x_1,\\ldots,x_{n_1},\\overline{y})\\), \\(\\ldots\\), \\(\\psi_m(x_1,\\ldots,x_{n_m},\\overline{y})\\) and a tuple of elements \\(\\overline{a}\\) in \\(A\\) such that \\(M\\) is isomorphic to the model \\(\\langle X, \\overline{P}_1,\\ldots,\\overline{P}_m\\rangle \\), where \\(X=\\{x\\in A\\mid A\\models\\varphi(x,\\overline{a})\\}\\) and \\(\\overline{P}_i= \\{ \\langle x_1,\\ldots,x_{n_i}\\rangle \\mid A \\models \\psi_i (x_1,\\ldots,x_{n_i},\\overline{a}) \\}\\).   The author calls a model \\(M\\) a \\(B\\)-model if, for every finite nonempty subset \\(M_0\\subseteq M\\), there is a finite \\(M^\\ast_0\\subseteq M\\), \\(M_0\\subseteq M^\\ast_0\\) such that, for each finite subset \\(M_1{\\not\\subseteq}M_0^\\ast\\) of \\(M\\), there exists an automorphism \\(f\\) of \\(M\\) such that \\(f|{}M^\\ast_0=\\text{id}_{M_0^\\ast}\\) and \\(fM_1\\neq M_1\\).   The author proves that, if a rigid model \\(C\\) is definable over a Cartesian product \\(M\\times N\\), where \\(N\\) is isomorphic to a recursive model and \\(M\\) is a \\(B\\)-model, then \\(C\\) is isomorphic to a recursive model. Then he uses this assertion for proving that every ordinal is \\(\\Delta_1\\)-definable over at most countable Abelian groups and Boolean algebras if and only if it is recursive. This gives examples of Abelian groups and Boolean algebras whose respective Ulm types and ordinal types are not \\(\\Delta_1\\)-definable in the superstructure of hereditarily finite sets over these algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$3D4DE479-ADBB-46E3-A032-D0664D58160F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$369868EF-6CB9-4C33-A87C-AA0CDDA72C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$D4081D28-F7FB-4869-97CC-74FBFA6E166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$9F9B1B88-F95E-4421-8EF3-187863DFC8B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ab801a39b6fb1c7696cb0a7b3a69a9cb4a56b35","datavalue":{"value":"1285472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$17F3300A-C7B5-4062-B970-AD1DD41F2DBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$A8E96177-0DCD-4334-AAC2-3ED694F9B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$AC665051-7C08-4AF0-BBB9-A82538A210BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$F2CB4F72-878C-49AF-A9AC-45868484C33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$319DB589-85AB-4CDD-9728-A7909619AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5dd59a7acc52aa37b0025ce1d62dea0f08f3f5","datavalue":{"value":"Abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$E6D472A0-9BB0-42D5-BA49-C4EEE3026F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c681b500a7c29913eaab49f2044de6ab1c041c70","datavalue":{"value":"\\(B\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$20193AFE-284E-4FB4-B859-DCD75968DEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0317382d86c570770e39ad0fb4587cbf7d3d1ecd","datavalue":{"value":"Ulm types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$CA21CE7F-0EB2-4AEA-95D6-0E32B39ABC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b35f4b249ee0b9231c789c31f6de534d93b16c","datavalue":{"value":"ordinal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288078$322EAC48-1E25-4370-863D-17B711FE5333","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$BC6FA1A3-C55D-4239-BACB-E1A5E6C4CF1B","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":"Q1288078$F54531E2-E43F-4D7D-A83A-8898C9876513","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8531d6d5833750bd5060c93e4d7a3c91a520c392","datavalue":{"value":{"entity-type":"item","numeric-id":3994666,"id":"Q3994666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$9DED97D8-ACC1-4424-B773-7624A1EBCDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d07cf28644a0e7e599c152e57732bd4b8ef13","datavalue":{"value":{"entity-type":"item","numeric-id":5182382,"id":"Q5182382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$091BCDEC-7179-471E-BC57-F1D8A805E936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88329a5fda55707da557ccdd014486d0742a959","datavalue":{"value":{"entity-type":"item","numeric-id":4141989,"id":"Q4141989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$56A71216-A9A5-4445-B5EB-AB0F0C37C67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$510D33BB-C0C4-4AAD-9693-B060F7011309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc6e68b6409924b4db23279ecf8cf8de9fd7f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4723721,"id":"Q4723721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288078$7D8A130F-3EBD-470C-A8D7-A083B35F3108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4cb584c25f47db7fb44b5ceb1eaf35de8474fd","datavalue":{"value":"https://doi.org/10.1007/bf02732371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1288078$9C1F9ACF-AB34-4FE7-BEE1-99CD1040B85E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0f66238f0865a0aacec91855d173cd9620c22d9","datavalue":{"value":"W2042208003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288078$D0ACF59D-5C55-4D1A-9E5B-246A639A0EAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8878beddb36e761cc27d95b27888a9999872a8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1307172,"id":"Q1307172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6231a4efc6ba21a193b26c487780c894cf49b367","datavalue":{"value":{"amount":"+0.80420982837677","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":"Q1288078$BFD72147-DEE0-49B2-AFAE-4FC4968EB0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7b0fa41d96de92f1fd4d56fb300da93bd5a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2714038,"id":"Q2714038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae44fdd7e6cecff6c8f999911cfde16df241f97d","datavalue":{"value":{"amount":"+0.791899561882019","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":"Q1288078$D61F5A04-5B3C-45D4-8026-FF035CFAFB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34466567041bbec6481fa1f76691bbdf9ed59423","datavalue":{"value":{"entity-type":"item","numeric-id":4936678,"id":"Q4936678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f1b39e3f292ff8c9858ccd41c6c92a74da61e9","datavalue":{"value":{"amount":"+0.788643479347229","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":"Q1288078$CD8EDA7B-21D0-472E-84D4-4CE0001CF258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1288078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1288078"}}}}}