{"entities":{"Q1330312":{"pageid":1341062,"ns":120,"title":"Item:Q1330312","lastrevid":68484195,"modified":"2026-04-13T00:00:44Z","type":"item","id":"Q1330312","labels":{"en":{"language":"en","value":"Induction and foundation in the theory of hereditarily finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 606916"}},"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":"Q1330312$151B5CFB-C5CE-4F43-8926-E535AA252803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5410ef516a37e948b0b0f5c4fefa55d1e92782a3","datavalue":{"value":{"text":"Induction and foundation in the theory of hereditarily finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330312$8FE727E0-8281-4BF4-9257-9FC6C4A6A9B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0e669ddb661bd58389a1a19af9bab219dac755d","datavalue":{"value":"0810.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330312$121376C9-DA45-4092-8BDC-7B72A258672A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ab5ed44e847bd4a18a934feef2c958cc5812e5","datavalue":{"value":"10.1007/BF01203033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330312$B00FDC9C-0F3D-496F-959E-5C5CCD308995","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c52ba948b6c523b75b5273749caecb3712a44a6","datavalue":{"value":{"entity-type":"item","numeric-id":1237720,"id":"Q1237720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330312$002ACB3F-22C5-4FCF-91F6-797809F2605F","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":"Q1330312$B351D63E-A6CD-41D8-BF2A-A14FD5F98DDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330312$A8CDCE35-24CF-47B9-8BBA-E05476373FC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea11c76230652169b9b160c7183bcdd88b355809","datavalue":{"value":"An intuitionistic theory of hereditarily finite sets is developed here. A set of axioms is offered, with justification, from which most of the basic results you would want about HF are proven. Alternative axiomatizations are suggested, some of which are equivalent to the primary one, others of which are not. In particular, there are no fewer than nine versions of induction identified. There are intuitions and motivations throughout the paper, especially analogies between various theories of arithmetic (both classical and intuitionistic) and corresponding set theories, some of which have yet to be explored at all.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$06C55CC8-34EE-4FDF-8EB5-27AFACA18363","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330312$B133CC89-F8FB-4544-BAA9-FFB319FB651F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f461e41cd81aad6ab50bc868d8a36960a0b6ba","datavalue":{"value":"606916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330312$640E4AA9-C55C-42DA-A786-D5D8C2E9FE4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$858C5DDE-605D-4E61-AAEB-36870CF0EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$7B4BB088-7D7E-4B8E-ABAC-177599D501C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$6C1B55D4-6CFF-4A93-ADAA-3B1B5E62F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$6A29679C-8880-4619-A411-1A5570C8E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330312$D074182D-9988-43DA-B323-D69386C9A1C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7145106527c76ee3f2b876b4b260f13e7c40b44e","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330312$352225C3-C18A-4216-ABE3-F8E43CAC2B52","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":"Q1330312$05F2F37C-B5A8-4C1E-87D6-EFED0672196F","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":"Q1330312$95C4D77B-E459-48EC-9522-CC8F66CC7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330312$7DB46EA8-1705-487D-A79D-8124576C6D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005235576e1ca9bfb25fb9019d92302fd884c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3870884,"id":"Q3870884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330312$8C88D590-DB18-4BA8-81D2-0213F62D1B66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa127f910231119fab64e7cc4cf1642f1d242e7","datavalue":{"value":{"entity-type":"item","numeric-id":2425348,"id":"Q2425348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c6ef747665411045cad7b18bf0f7613aa2711b","datavalue":{"value":{"amount":"+0.8057628273963928","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":"Q1330312$25EDAC34-5F09-447A-AE10-2CF011103AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7da573bb2fe73b2a35b388b2a57bb39b406f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":2829273,"id":"Q2829273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dda10af7e90901009249b8555cd0058952b6b9","datavalue":{"value":{"amount":"+0.8044785857200623","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":"Q1330312$462F4484-EC38-46C0-AC1C-56F8BDF091E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415d96de2a8674bf1c33d76d4d5c204c72af227a","datavalue":{"value":{"entity-type":"item","numeric-id":3832558,"id":"Q3832558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914d5baa43007482d9cabbbb55fc6e083c2d415c","datavalue":{"value":{"amount":"+0.7874186038970947","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":"Q1330312$6A82C044-A394-447A-B431-E97B07FE996E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768faac276cf8255fd203a06c7c6f319e80d477d","datavalue":{"value":{"entity-type":"item","numeric-id":1049686,"id":"Q1049686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca89d4cf896743c83507b92d0585319b356cb42","datavalue":{"value":{"amount":"+0.7635947465896606","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":"Q1330312$E53AE3D7-5432-48B6-9AED-4A1117E157E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19a0ce7528b0f02413d5793fe4ae38fc4bebeea","datavalue":{"value":{"entity-type":"item","numeric-id":3832565,"id":"Q3832565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62882f8886eeaa1b9b8fec86fcc6b5f93d4473f7","datavalue":{"value":{"amount":"+0.746013343334198","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":"Q1330312$27D48E44-9645-49DE-9713-117FEC88815E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Induction and foundation in the theory of hereditarily finite sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Induction_and_foundation_in_the_theory_of_hereditarily_finite_sets"}}}}}