{"entities":{"Q762482":{"pageid":764331,"ns":120,"title":"Item:Q762482","lastrevid":64141854,"modified":"2026-04-11T17:55:01Z","type":"item","id":"Q762482","labels":{"en":{"language":"en","value":"Number-theoretic set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889520"}},"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":"Q762482$D251B944-FEBE-4CB3-ADE5-41A49DB90516","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2f6648f6816c2299a755e66e9f311b6ca91a18d","datavalue":{"value":{"text":"Number-theoretic set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762482$520CAED8-C05B-4538-88E6-2BB3440AFB97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce359b457a8fd0bc8ff6068a48fdc86f070be4f4","datavalue":{"value":"0558.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$E6AD2CBA-4E21-400B-A2AD-252FBD201F69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6594c856eb4cc158cb2c8d63f584a738d7e9fd97","datavalue":{"value":{"entity-type":"item","numeric-id":762481,"id":"Q762481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762482$77A628AF-E84A-402F-B741-F40A854A8FBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762482$02413E2C-66E3-4FD5-BFC5-1B9AFA6BC6D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q762482$2BF90A40-1C67-45ED-A7F6-1E795C5DD40D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79872e06661469e7ce284441b2cbe827501b4ff6","datavalue":{"value":"Let PN be pure number theory, i.e. first-order Peano arithmetic. By a ''number-theoretic set theory'', we mean a system of set theory which is a natural extension of PN, and where all variables range over the natural numbers. For most of the systems considered, a recursive rule of infinite induction, rule W, appears to be necessary. Because of rule W, these systems avoid G\u00f6del constructions of undecidable sentences, yet have a good degree of formality. The systems WTN and WSN are of particular concern and are shown to be mutually interpretable with WR, i.e. ramified analysis plus rule W. We consider, for WTN, ordinal, cardinal, and real numbers. We prove that all sets are countable and establish the axiom of choice. For real numbers we discuss difficulties with treating Lebesgue measure theory in the standard way, and indicate ways of possibly remedying the situation. Finally, we consider arithmetical set theory, AS, which is PN itself.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$DF279EBE-1545-4B33-9D59-CA293F523FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$C45CFEAE-0687-47DB-81C5-7E7FDE77F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$AB432C0C-D21D-4A19-8429-6408824270E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6d100f9ba69e33cc38a5d86a1c5d354b3e8b9ba","datavalue":{"value":"3889520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$A9A9F6DE-5024-4D29-AC93-72C6DCE69B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40594387276e7e93e8b64df3c8fa488102806547","datavalue":{"value":"first-order Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$34F062F1-5E9F-4C1C-9A92-9794A0EAD7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af46bd19ce7af73ce56ba9e40ca9747590191786","datavalue":{"value":"number-theoretic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$13005509-7F90-445E-90CF-4F4BA33CD68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cca97c0d0a5003b2642798aadb90cca5eb1676b","datavalue":{"value":"infinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$073C05FF-8B55-4B65-B017-BFD5DF03128E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$0051B13E-E21F-47D5-B3C1-E28F1E79CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$69DAEAF4-204B-49E2-8B3F-7DE31C9CF04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118dcfae64a14d47a085a066d9588363b38ef967","datavalue":{"value":"Lebesgue measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$3F8F2F9A-C82B-474E-8008-3601CD9FBADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5e9e68eb8e85302cc8d1123ce653742283b51c","datavalue":{"value":"arithmetical set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q762482$EEF18AE6-DA85-4B9A-BDFB-7B3617E0C2D0","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":"Q762482$3597E25F-AF46-44DC-A453-4F2D6EFEC389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53b042c8d3fed752678e02fa7aed79b105fb82fc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870763","type":"string"},"datatype":"url"},"type":"statement","id":"Q762482$E635C870-8081-4AB4-9027-88FC152CEE22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e70828d1b733d2a899dcc04bc4bf5c155e630786","datavalue":{"value":"W2063815661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$77192B3B-8F58-478F-A447-B80D576479C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3501ba316cbd264c4007b6063c70bea951b16d2","datavalue":{"value":"10.1305/NDJFL/1093870763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762482$10A8A3B8-74C5-4F11-9BCC-18DB89253A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e63306fd4949bbc888f294a90beb54817df81e","datavalue":{"value":{"entity-type":"item","numeric-id":1181380,"id":"Q1181380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdf7319f8f6b0326c522e6d367b8e5f318c75f7","datavalue":{"value":{"amount":"+0.8090965151786804","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":"Q762482$A119E7E4-ECB6-43DF-B819-59FF305582BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118892bb8df33c7baf7785452e822e8d8f8cb369","datavalue":{"value":{"entity-type":"item","numeric-id":2703525,"id":"Q2703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc03cecfa84828f28e45a09de9d53e88f7e9224f","datavalue":{"value":{"amount":"+0.8089146018028259","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":"Q762482$C471E281-0D97-4F6D-914A-4F610533165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9f77e300289fd1765570a3e244e0b6cab64092","datavalue":{"value":{"entity-type":"item","numeric-id":1942037,"id":"Q1942037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fc1100cfc14576a5522da0ef762d520b9abe9e","datavalue":{"value":{"amount":"+0.7341278791427612","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":"Q762482$352744F1-AE1D-4C4E-8D66-69891BD3C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d9d828632b188d0eaa36b5f590f1fac71f1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3800007,"id":"Q3800007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66746d2063007f3e569df39ac4c3ce9317ce551","datavalue":{"value":{"amount":"+0.7326509356498718","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":"Q762482$6FCA3650-FC54-4FF5-A87A-922531D68824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd70170f359100b482bbf773b8d09d4138d3d12","datavalue":{"value":{"entity-type":"item","numeric-id":5802106,"id":"Q5802106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79e86385e0895acd1579090932f91f927027baa","datavalue":{"value":{"amount":"+0.7325644493103027","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":"Q762482$98769CD2-C6E0-4256-BFD0-1E19A3FCCB21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Number-theoretic set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Number-theoretic_set_theories"}}}}}