{"entities":{"Q866884":{"pageid":868732,"ns":120,"title":"Item:Q866884","lastrevid":64980660,"modified":"2026-04-11T23:31:11Z","type":"item","id":"Q866884","labels":{"en":{"language":"en","value":"A note on the schemes of replacement and collection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126635"}},"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":"Q866884$F9375916-254B-4B1C-8F6C-DB3C7B083652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b83ddbc662d175b76c00a6d851c2946ebf0cce4","datavalue":{"value":{"text":"A note on the schemes of replacement and collection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866884$BE7761FB-DA5D-4B45-ADBC-A9179950DFB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5fb7603ef0af51eaf5651fdae163be0249c1bf3","datavalue":{"value":"1110.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866884$D9032061-E83B-49AA-A904-A4ECD91C704F","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":"Q866884$9B9F3D2F-11B4-4CFE-959B-BDC64ADED75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866884$78FB8685-242A-4DEE-845B-DC638E903838","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dbb4a4e9437b7a788af5ebfcdf0d3d67d165f40e","datavalue":{"value":"The author investigates the axiom scheme Repcoll which is in some sense similar to Replacement and Collection. Repcoll consists of implications with hypotheses that are stronger than those of Collection and conclusions that are weaker than those of Replacement. This scheme is investigated in the theories \\(M_0\\) and \\(M_1\\), where the axioms of \\(M_0\\) are Extensionality, Null Set, Pairing, Sumset, Power Set, and the scheme of \\(\\Delta_0\\) Separation. The axioms of \\(M_1\\) are those of \\(M_0\\) together with Foundation and the principle TCo of Transitive Containment which asserts that every set is a member of a transitive set.   Answering a question of Simpson the author shows that all extensions of ZF except the axiom of infinity are provable in \\(M_1\\) + Repcoll but not in certain weakenings of that system. To obtain this result the author starts by showing that every set has a rank. By an induction on the complexity of formulas he derives all instances of the schemes of Separation and Collection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866884$75615C62-226F-4E62-9E30-B2123E9FA0C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866884$26FC5340-7D01-447A-AC83-37100D46FC92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed0a9cc70c6868d73b1a66ee6ea9ed03a1e609f","datavalue":{"value":"5126635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866884$E335E26B-0FAE-4C47-A496-F9983D5B1B40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57aa8ea572db498fd691a6b2d91cb7b640710b6e","datavalue":{"value":"replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q866884$0ABE2B92-B24C-4F6D-A4B2-61747B56ECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b6f552ad2fb8ffae357dc6404c3ebb617e5d87","datavalue":{"value":"collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q866884$3853BB67-954A-49C1-B803-3AF11EDB6950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q866884$0576AD1B-5BF7-4FE8-A5B9-28F90166054C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbdd8d2201adf45f4cce4e679780005091f794b0","datavalue":{"value":"rank function","type":"string"},"datatype":"string"},"type":"statement","id":"Q866884$1B48E493-93E3-463E-A835-75B52A71D687","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c70380042d747dc4fd26ae33db4b8519b40a0272","datavalue":{"value":{"entity-type":"item","numeric-id":1013094,"id":"Q1013094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866884$4D011E16-1F14-494E-9EA8-64C51AA67B48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866884$A7FF78AC-0F37-4B7E-AC9D-41ABA69AFC1C","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":"Q866884$26C91C9B-34A7-497E-92EC-81C946D52BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"291f666c3089edf95e7f55daef633f99a257352e","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0289-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q866884$A89EFE5F-EF93-469D-A52E-A215ED8A5A7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51345d02f2a2f532e4ae1d4b44ce70d4932a76ab","datavalue":{"value":"W2030244613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866884$90CED4CB-99EF-44AE-A7C4-85F0622A195D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c19e085f69150b98e13534cdedfc16e2a186535","datavalue":{"value":{"entity-type":"item","numeric-id":5729315,"id":"Q5729315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866884$42774B2D-623A-46BF-A057-9A430EC00367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4316d3184305e45c891034bc2de2f8756e38f03f","datavalue":{"value":{"entity-type":"item","numeric-id":5540457,"id":"Q5540457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866884$045DFFD0-BADA-41C2-A94D-561D0B4094CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe159d01a9a01c0322eeaad0673b992f0884415","datavalue":{"value":{"entity-type":"item","numeric-id":5946048,"id":"Q5946048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866884$155F44E6-4704-4600-8547-4E19A4076B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15d4ae2b655d351eee4b37182953949b9f337172","datavalue":{"value":"10.1007/S00153-005-0289-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866884$E47E0221-D7D1-48C1-83CE-0E6D5816DD51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a237ff1b5a66cfb97eb50373ff97ed01e170d97","datavalue":{"value":{"entity-type":"item","numeric-id":3754614,"id":"Q3754614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95413bd6a45ae5a55748606aab8a81dcc9e5031","datavalue":{"value":{"amount":"+0.87258583","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":"Q866884$6C782EF5-6439-4FDD-B691-F2D0EF3ACC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaa8d77c865366234a0a3fdd36f591e8cab1682","datavalue":{"value":{"entity-type":"item","numeric-id":2573725,"id":"Q2573725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90a24cec99af3856c8ac2495a670f841eb230f3","datavalue":{"value":{"amount":"+0.8244772","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":"Q866884$7DF6299F-A20D-48E8-82F9-0C796C433C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703843f1f87806c3f9a77b6335f053a7276878a9","datavalue":{"value":{"entity-type":"item","numeric-id":3784948,"id":"Q3784948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0583e77b4dfef027e542ffe8366b83d3560e639d","datavalue":{"value":{"amount":"+0.824271","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":"Q866884$5C178E6B-C25E-4049-AFEB-7CE88FF33C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70ce16e5a1074039be30adbd07b50daf87a73e8","datavalue":{"value":{"entity-type":"item","numeric-id":3768233,"id":"Q3768233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a7acb215b7bba177140d9bb7268781cf189c46","datavalue":{"value":{"amount":"+0.8065328","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":"Q866884$61E51701-A3DF-4215-BFA4-B09A72D124D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8664d2a613545814340c2173b7516c3df588afa8","datavalue":{"value":{"entity-type":"item","numeric-id":3710522,"id":"Q3710522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f8d0c32700cfc40d032abbcef366350df25bb3","datavalue":{"value":{"amount":"+0.7818896","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":"Q866884$BB097723-EF35-4A58-8894-045E0F43DF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb43271bdd383243f4124e8508de1c50ba25283","datavalue":{"value":{"entity-type":"item","numeric-id":294674,"id":"Q294674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1daec7a25e68b5000b6cf0708fb07d9434d28ca","datavalue":{"value":{"amount":"+0.78156054","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":"Q866884$4FF900D9-A94B-440F-9B21-F75F35B2ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57fba69f6405345a5b1037cb3d72a60c195ae682","datavalue":{"value":{"entity-type":"item","numeric-id":1120465,"id":"Q1120465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3205d449d868a170d660cad28f17925afe6224d","datavalue":{"value":{"amount":"+0.7769717","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":"Q866884$D62AC1DB-8706-454A-B260-17506CB1A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c10e13f74620788bada434726c825028057a","datavalue":{"value":{"entity-type":"item","numeric-id":2566070,"id":"Q2566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7f10615cea9fe7db4b6f96cd1a4f6f3fb48fdc","datavalue":{"value":{"amount":"+0.7712968","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":"Q866884$6EA275EE-9DD3-4ECC-A4FC-D3B86705781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95c5b428c77526b0d2eef1b297df8bf8fcb2a11","datavalue":{"value":{"entity-type":"item","numeric-id":3313587,"id":"Q3313587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1ce12af8eb1dfd0e2f162f4765705ca934d428","datavalue":{"value":{"amount":"+0.7693357","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":"Q866884$7E7B191F-4704-450B-AFD1-2C18DCB4707D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the schemes of replacement and collection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_schemes_of_replacement_and_collection"}}}}}