{"entities":{"Q2425348":{"pageid":2436091,"ns":120,"title":"Item:Q2425348","lastrevid":50346107,"modified":"2026-01-13T20:59:44Z","type":"item","id":"Q2425348","labels":{"en":{"language":"en","value":"Finiteness axioms on fragments of intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5268941"}},"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":"Q2425348$A5FC8600-1B8A-4A50-80B7-A3F1228C6CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79bc9ef182e33ed889e634987631ee0919bb92db","datavalue":{"value":{"text":"Finiteness axioms on fragments of intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425348$4E5A254F-37AD-4223-8FA4-495F0088C1CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41b426c985ecf50743d9fdcf29c1ee30a73e9c9b","datavalue":{"value":"1146.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$64F9F293-EF5C-4CD8-B81E-43391C287FE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bad945b472162a883c0a3dc55000f4086bf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":481397,"id":"Q481397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425348$CA1C334E-06B8-41D7-AF54-DA198373CE4D","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":"Q2425348$FA1C3254-0445-46AB-823B-411B0375F8C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2425348$4034C6B3-2BE5-447C-A5B1-64FFD66137D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71ce509828721aa3627f62687bba9b3f7312e622","datavalue":{"value":"This paper solves some problems stated in the article ``Induction and foundation in the theory of hereditarily finite sets'' by \\textit{F. Previale} [Arch. Math. Logic 33, 213--241 (1994; Zbl 0810.03048)]. Namely, it is shown that (i) in a suitable intuitionistic version \\(\\text{ZFC}^{\\text{Int}}- \\text{Inf}\\) of Zermelo-Fraenkel set theory with the Axiom of Choice and deprived of the Axiom of Infinity, the statements \\(V \\subseteq \\text{Fin}\\) (every set is finite) and \\(\\text{Ord} \\subseteq \\text{Nat}\\) (every ordinal is a natural number) are equivalent, and (ii) Previale's intuitionistic theory HS of hereditarily finite sets is equivalent to \\(\\text{ZFC}^{\\text{Int}}- \\text{Inf}+ V\\subseteq \\text{Fin}\\) (and thus also to \\(\\text{ZFC}^{\\text{Int}}- \\text{Inf}+ \\text{Ord}\\subseteq \\text{Nat}\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425348$C020394B-C0CA-4E96-A52D-3EF9E5EE4D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$9AF905A6-1DB2-4506-9F7D-52A279A21283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$091BED21-15BC-4DBA-9DD6-F64FB9035F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$C296EC93-E254-47BD-9EF4-0C90501375CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b6317de1f53a9d41b543f747f2ee2a2f2f6a7e","datavalue":{"value":"5268941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$D97A5FFE-8008-46DF-BBAB-3C3224647315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e8d72117272991799c69773f7832d81f63da9c","datavalue":{"value":"intuitionistic set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425348$31CCC77F-3F9E-43FC-A49D-C43E86324E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425348$4BE0198E-2728-40F9-B8F4-6E62DD5C7BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23772d15b8dce498ec582cb4d7b0797938ed0f60","datavalue":{"value":"finiteness axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425348$1FCFA22E-002F-4C7A-B825-5973DF402F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425348$360C1F9B-2DC0-47BB-9DA0-E8D2986C36D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c35b29d62764e885bd29a3001fc5bdbafbb9ec","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425348$F5C0800F-82F3-423C-9077-264DA1061D19","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":"Q2425348$CC1A1890-F620-4B59-A8BD-420776A63144","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc95aa8dc4ef1157a4d0bbbc5316e23ac39dc28b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1193667705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425348$24BB38FA-B902-4E7F-8088-DEC9E29796B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad1141959548d3fd638cc73d79abeadfea22e939","datavalue":{"value":"W2023491976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$1ABCC70C-DA94-4EB3-8B88-C9B111113E50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6293a3e364b2db8cf92f4994224df8773307d6ca","datavalue":{"value":"10.1305/NDJFL/1193667705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425348$D4E5EE45-FF13-4013-9D93-B93D6DA38537","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6640badd544e980a06971f7cbd12742fdf0e1cff","datavalue":{"value":{"entity-type":"item","numeric-id":1330312,"id":"Q1330312"},"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":"Q2425348$5CE55481-C0A7-4D3D-AC67-983DD09078C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c597f28bafb88672bfd695d9e0f2655936481029","datavalue":{"value":{"entity-type":"item","numeric-id":781509,"id":"Q781509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df88d16c2a0b457ba05338e7c1aa7e8fdef162bd","datavalue":{"value":{"amount":"+0.7722691297531128","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":"Q2425348$E912A49C-256F-47C7-B338-B66E46B4B651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfb044768dbb67388cce0ce9a2ce60dea7c6fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3499749,"id":"Q3499749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad8bd980c38467a63a88a34252276a5130a97e8","datavalue":{"value":{"amount":"+0.7500861287117004","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":"Q2425348$0DD391AA-B606-47B6-9EE8-36BE0A5FBB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf7c15a118aa607d7620dcd1b77bc6cb3d21609","datavalue":{"value":{"entity-type":"item","numeric-id":4304117,"id":"Q4304117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799afce2bdf94c7fb00413bf51ce2d4016c26c38","datavalue":{"value":{"amount":"+0.7425130009651184","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":"Q2425348$1B99BD78-FAC0-4A28-B10D-5CD7A7D3946E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba53921c0524a8d8d7a0aa0a6a139334df183ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3472091,"id":"Q3472091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d794ee6492077e87f3da34353b9efe26a5d2658c","datavalue":{"value":{"amount":"+0.7339090704917908","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":"Q2425348$C3C2448C-E707-4BD3-8DCD-9DCB4268CCEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2425348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2425348"}}}}}