{"entities":{"Q791523":{"pageid":793371,"ns":120,"title":"Item:Q791523","lastrevid":64369305,"modified":"2026-04-11T19:24:01Z","type":"item","id":"Q791523","labels":{"en":{"language":"en","value":"Iterating ordinal definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851075"}},"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":"Q791523$82A68500-27F0-4A57-B7A9-48D893319AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55b6664c0e96528894dd6793a6e3b45123db479f","datavalue":{"value":{"text":"Iterating ordinal definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791523$58448822-924B-4879-A306-06DCBEE8F60A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"769ee1fde41d1968dd3ff2fcbae1adc985dd8847","datavalue":{"value":"0536.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$054F024E-C260-4640-8CD9-CB3326E7607D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecf03457aa7c6d445196ccf9f894624d727584ee","datavalue":{"value":"10.1016/0168-0072(83)90008-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$AB0265CC-12B8-40DF-B391-803384F0F324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c1be9f18a25df110d4e2f76f5f7b1a8107c8dc","datavalue":{"value":{"entity-type":"item","numeric-id":791522,"id":"Q791522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$225F3FD4-5874-40BF-B58A-819E4ADAB63B","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":"Q791523$07863E05-94CA-4294-999C-6B76B9EA3B1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q791523$50A99436-F446-45AC-BB50-D80645168AB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20099d5be9bdf2cc1d865cb1d910e3a613a64d86","datavalue":{"value":"This paper gives a large variety of results concerning HOD (the class of hereditarily ordinal definable sets) and its iterated versions \\((HOD_{\\alpha +1}=HOD^{HOD_{\\alpha}};\\quad HOD_{\\lambda}=\\cap_{\\beta<\\lambda}HOD_{\\beta}).\\) Some old results are stated and proved: this is used to present the key ideas and technical details (essentially McAloon's method of coding) of the new results. The old theorems are: \\(\\forall M \\exists N\\) generic extension s.t. \\(HOD^ N=M\\); \\(\\forall M \\exists N\\) generic extension s.t. \\(N\\vDash ZFC+V=HOD\\) (Roguski); \\(cons(ZF)\\to cons(ZF+\\forall n\\quad HOD_ n\\neq HOD_{n+1}\\pm(AC)^{HOD_{\\omega}})\\) (McAloon). The new ones are: \\(cons(ZF)\\to cons(ZF+HOD_{\\omega}\\nvDash ZF)\\) (unpublished from Harrington); \\(\\forall M \\exists N\\) generic extension s.t. \\(HOD_{on}=M+\\forall \\alpha \\quad HOD_{\\alpha +1}\\neq HOD_{\\alpha}; \\forall M\\), \\(\\alpha\\in M\\), \\(\\exists N\\) generic extension s.t. \\((HOD_{\\alpha +1})^ N=M+\\forall \\beta<\\alpha \\quad HOD_{\\beta}\\neq HOD_{\\beta +1}.\\) The paper is self contained. It is very well written and pleasant to read. A nice survey of the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791523$06E153A8-B971-454E-A801-BAC15659E6AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$27B3D237-E43B-4E3C-A769-D0F95054EABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d89024a1d653ad94a79a67eec010ac3670abdec8","datavalue":{"value":"3851075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$1CC071CE-2DD9-421B-9C31-BBB47145EE86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fccb89ec882904ef49cdf6629d90845516ffb045","datavalue":{"value":"homogeneous forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q791523$03CFFDE5-52E0-43A9-AACB-BECED79A73B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a39febb1ff2e4d4cc7d09a2a1531efcde5e039f","datavalue":{"value":"HOD","type":"string"},"datatype":"string"},"type":"statement","id":"Q791523$EAAAF2DB-4B95-4B81-BFC3-F0BED1004F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d1211059ae89b3b4b712212ad5d4702c23f4ac","datavalue":{"value":"hereditarily ordinal definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q791523$A9F11302-1D38-4B16-9B7D-A108C2A62919","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":"Q791523$D182A4AA-93FA-4A34-BFAF-5BAD5BFB1553","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5545c1230440eeb613ff5af00659a5ed96cbce5","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90008-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q791523$ABC59D7F-4187-4440-8242-84BE6CF3312D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f5a7a58c59fc3cde5bf1b98f2f7ea6e2978c32","datavalue":{"value":"W1963699257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$28BA48E9-8714-4494-87E3-FD34812B9817","rank":"normal"}],"P223":[{"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":"Q791523$1DC9AD11-6BBD-48FA-BD89-363AEA778329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0dcdc8ac2e38f30a1f52e6116a6d340beea8d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4147975,"id":"Q4147975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$1F1F8ED2-8F65-4B55-A7AE-556FD58282F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51132f5a598d8390b4ab71a905b3b071ff5b608c","datavalue":{"value":{"entity-type":"item","numeric-id":3950556,"id":"Q3950556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$B7FB0AFB-2909-498F-8F0A-B8EAB4D4CBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$1C3D4B1D-9AC7-4C58-8F74-302CB3A63AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5f627be7cd45aab6ee0cb7d2d79dd9228d8983d","datavalue":{"value":{"entity-type":"item","numeric-id":3960669,"id":"Q3960669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$956A5BA2-3947-4CEE-9799-D6F3A8A7C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e02da02a8dcea4d7debb969430ea492a487170","datavalue":{"value":{"entity-type":"item","numeric-id":5730895,"id":"Q5730895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$E653C51A-422D-4DDE-919D-CF7F565C8451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58668f5a21f0b80370d76a4930b78069cdff5a30","datavalue":{"value":{"entity-type":"item","numeric-id":5631103,"id":"Q5631103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$C8C2E3EB-7484-4363-AA62-6BFEA9F22444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f90baec29cd2641b2561441570b704fd8e5ac11","datavalue":{"value":{"entity-type":"item","numeric-id":4047547,"id":"Q4047547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$8BB23F0F-72FE-4C12-80C9-BA2564EED996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91207e3ea80ad4741343428c7a4985cc851ef132","datavalue":{"value":{"entity-type":"item","numeric-id":5632569,"id":"Q5632569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$0BCBDDFC-429C-444A-8663-DBD85FEFFAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0877735dfdf13fab5cbba5fdd1e0ceccc9bf20","datavalue":{"value":{"entity-type":"item","numeric-id":4135515,"id":"Q4135515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$E9A6A79C-FC47-4EC0-82B5-EDD6D1208521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a7557752a2d3c631887a7c4daa1c5aee1c8bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4152541,"id":"Q4152541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$07AC6C6F-C353-4C58-9A27-5FB041BB47CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161e6490a14d4c0a1fa90b08f7a2f6564d50f671","datavalue":{"value":{"entity-type":"item","numeric-id":4170712,"id":"Q4170712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$BC60C732-3617-490D-9454-5ECDDCDC7086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e604ef50c1e81ceac9ebeee9f9f32d0fc80cb8","datavalue":{"value":{"entity-type":"item","numeric-id":4182740,"id":"Q4182740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$365BF609-8198-43BD-88E5-14D41FC9AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5559110f9ebe7978e1147b0a0745268ca1b84621","datavalue":{"value":{"entity-type":"item","numeric-id":3931380,"id":"Q3931380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$8FF75994-D3BB-4166-8E3D-4BB420938A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b417eca9c3e8121f7045deef9567344ca6d8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3941399,"id":"Q3941399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$7DC19836-D981-47CF-9268-E0A257571691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc12f6f965c74beed2eb913581814d6affcdde3b","datavalue":{"value":{"entity-type":"item","numeric-id":4108327,"id":"Q4108327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$AB6DB4D2-FA6F-4FA6-8EBA-B1E34D72D7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d170f26bdd4d957df9d9d1bced4b42648c736b6","datavalue":{"value":{"entity-type":"item","numeric-id":3708012,"id":"Q3708012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791523$C9CA069A-D6E9-447E-BDF5-64BC6D484C21","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f919dab3e204442b14347b2d6175dd8db246b5b9","datavalue":{"value":"Q126439567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791523$4848779B-F98B-47AE-AC7E-5FB127E215C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7959aa0c5c24fd539dbcabd2c872bb3d38e34efe","datavalue":{"value":{"entity-type":"item","numeric-id":3483279,"id":"Q3483279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9ab25bac1fe56c4761196c405a3d8ed148d3d4","datavalue":{"value":{"amount":"+0.8043685555458069","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":"Q791523$618A7B38-80BD-413A-B740-FE624FFBD29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5675afa3d110efffb844fea53c99eb61ca871071","datavalue":{"value":{"entity-type":"item","numeric-id":3708012,"id":"Q3708012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6c016b475f6459661a4b5911ad21ea731044f0","datavalue":{"value":{"amount":"+0.7893854975700378","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":"Q791523$3B188D08-8BB2-4D4A-9436-4E7C04097DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10adffff8037ce8f702108811a3466efe0d1edc4","datavalue":{"value":{"entity-type":"item","numeric-id":4245013,"id":"Q4245013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a6db2941cf68faa4e243a900752b4d58dc78e7","datavalue":{"value":{"amount":"+0.7349444627761841","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":"Q791523$2D2F2DDD-A32D-4B0F-8846-F7EB003634F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19b46875d6bff98f2e3f9667217c679387058e4","datavalue":{"value":{"entity-type":"item","numeric-id":5015717,"id":"Q5015717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e468f78c9d6663d2b7da91820bb3d86a7948772","datavalue":{"value":{"amount":"+0.7349039316177368","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":"Q791523$5F4754D2-5A90-4396-A3C0-0396A51B36BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944a185d6fd36ee7d35ccaee80cd6b271a79251c","datavalue":{"value":{"entity-type":"item","numeric-id":5880254,"id":"Q5880254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecae86628299a710fd38db7768b36dd13b7c4ebb","datavalue":{"value":{"amount":"+0.72471684217453","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":"Q791523$1F83D44C-EA33-430A-A586-1FEDD192C49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterating ordinal definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterating_ordinal_definability"}}}}}