{"entities":{"Q1024551":{"pageid":1026399,"ns":120,"title":"Item:Q1024551","lastrevid":66568146,"modified":"2026-04-12T10:59:59Z","type":"item","id":"Q1024551","labels":{"en":{"language":"en","value":"Full operational set theory with unbounded existential quantification and power set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565758"}},"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":"Q1024551$E8A72AD0-0029-4545-959E-98A873335657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2287b6e264cdac57e30b4df1ba20f33a19b0a4d6","datavalue":{"value":{"text":"Full operational set theory with unbounded existential quantification and power set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024551$823A6B87-378A-4A1C-9BAE-D3670C06BE81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3368f898a1c72f90974c3826629889bd64a8a530","datavalue":{"value":"1175.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$8A16A2C5-45B0-4587-ADC4-E63F2054B5F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$72148C28-9BC5-4848-A7BF-E1A616774E13","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":"Q1024551$69F99AC6-CE67-4D32-8FD4-358CA76D5DFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b56d9fd9827ead92e1d841b592f7852bcfece777","datavalue":{"value":{"time":"+2009-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024551$6AB414E2-61EF-45FC-BB65-A7D33A746352","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ceee8a9f650f1d25d0032fed03f5ece4f2d80348","datavalue":{"value":"From the introduction: ``This paper is a direct sequel of [\\textit{G. J\u00e4ger}, Ann. Pure Appl. Logic 150, No. 1--3, 19--39 (2007; Zbl 1136.03038)] and answers the question about the exact consistency-theoretic strength of Feferman's operational set theory [\\textit{S. Feferman}, ``Notes on operational set theory. I. Generalization of ``small'' large cardinals in classical and admissible set theory'' (2001), available at \\url{http://math.stanford.edu/~feferman/papers/OperationalST-I.pdf}] extended by operational versions of unbounded existential quantification and power set. We show that this system, called \\(\\mathsf{OST}(\\mathbf{E},\\mathbb{P})\\), is equiconsistent with a natural theory of sets and classes, \\(\\mathsf{NBG}_{<E_0}\\), which is obtained from usual von Neumann-Bernays-G\u00f6del theory \\(\\mathsf{NBG}\\) by adding \\({\\in}\\)-induction for arbitrary formulas and a specific form of iteration of elementary class comprehension.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024551$5ECD0FE0-F154-4761-A240-73E53B594CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$91E0ADFE-F447-4C49-9EEB-C5E20836BF1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$DBC2476A-B444-4470-95DE-918F12EDA83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$81D2CC2F-1F9B-4F49-97BA-EDC59281FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$F1BADDB2-A6DF-44AD-9050-E53BCE8C56B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$4A0933C9-32F5-402B-8341-2FEA8A9E32C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0fe1224651fc2cecdcaecbe4a897b64cc1936bb","datavalue":{"value":"5565758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$15798414-FB39-497E-A02C-A0F7F237E1D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bee3a04e0fdf145f406d396167e69c6804f9f69","datavalue":{"value":"operational set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024551$09CC6820-DBDE-4F7C-96B1-18145AE9EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024551$CD9319A5-5CC9-40B2-BD76-618057CB8658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6076c1ceff89cf3fa99e314ceece91638a158438","datavalue":{"value":"theories of sets and classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024551$939BB179-87B2-43AF-AC9A-FCB87E213D6F","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":"Q1024551$14E6D9F5-A425-4808-B606-5D863E82054E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b65c9ae91f027bbb1cbfeb4961a9319d5e4fe696","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.01.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024551$40047B8D-0618-4C08-8BD2-59F5F3EAE294","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc8d49847fd2d1757d04715572fc0667776e9482","datavalue":{"value":"W1976807840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$04ABA520-74F6-4A66-B48E-8D70E790FE44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$7B242633-9345-4649-86BC-046532B7EBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$EBF2A4E1-5BE8-4F10-A50D-E6131E08F539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$BFAD4510-03EE-42C2-84DD-22AEE84808C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$27889B4B-622C-4C13-B4F6-5A9113B6C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e24b39445cfca5147dd536f3fae9a40b727db0","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$653575C8-AA36-40FD-A2EE-E1FE9381358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c29fa5c685c9a52180e597adc0d8d3b4cf1a369","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$9B0E37AE-40F1-471B-BACC-66EBC13F3EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$361D8988-EB65-40DF-8FD4-FB65E163288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c43a7e3bd5c95244b1398594e01f99a1a50e79e","datavalue":{"value":{"entity-type":"item","numeric-id":731889,"id":"Q731889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$29F419AE-06BC-42A6-89A1-565C83115604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$20DEF915-F6F3-42A8-9F33-9083F7351C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$C5F5FF3D-0670-42C6-B19D-CAAD914097C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116a611e86eefe60b27b9f78858f3d08089c740","datavalue":{"value":{"entity-type":"item","numeric-id":3880843,"id":"Q3880843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$C1ECAB7B-79F7-4BE1-9137-F45A371F4A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$A692D2A5-1EE5-4B56-A3BC-48249871F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$C986F13E-1A7A-4AFF-BE86-5FF08B942F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8767c9d3ac144ac25164336adf5d01e88832f35c","datavalue":{"value":{"entity-type":"item","numeric-id":2463480,"id":"Q2463480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$993549E9-6697-4A02-BD4B-5E7217EADDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bb7bb61202307db43d4802956efbc479572508","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$ACE7C440-E5DD-4255-80B5-C4217C06CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f9a19132225581d4e905536bc3c1bb59959768","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$24EBC047-D901-465C-B8A3-15596900DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$14AD1A88-09DB-44A2-8AFC-EB22618D0B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$ACA65C5D-0AD3-4D47-947A-067BF0F2968B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024551$47EF4007-ACF4-4A0C-AF28-34F982F2F94C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd64ba0f2cc9a8337612442271800c996ef59492","datavalue":{"value":"10.1016/J.APAL.2009.01.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024551$4F95BB9A-0753-45A0-8C3E-DC0E8315AD97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331c1b77b56a2861d1d6860808af864c9d285951","datavalue":{"value":{"entity-type":"item","numeric-id":2463480,"id":"Q2463480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd7f0d667ed80aac569f436f6827f42a45a55d4","datavalue":{"value":{"amount":"+0.875123143196106","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":"Q1024551$23ABCCB6-AC83-4988-9E6F-EBECF2EF11D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c95c6f7cdf33bcaa864b15aeb194779f6c94d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c4f9bb9e3acc85529e99ade9cf6e3059801b7c","datavalue":{"value":{"amount":"+0.848101019859314","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":"Q1024551$58AEC127-B1FD-4F80-97A7-B07699918523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878fc562afab29a23442928d1d6a3d297c535695","datavalue":{"value":{"entity-type":"item","numeric-id":4630796,"id":"Q4630796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d62a196137cf21a09e3889600f45246c13b835c","datavalue":{"value":{"amount":"+0.8231654763221741","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":"Q1024551$04CB2964-4B4B-4A33-BE13-0512B7CB80C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a5aceb3bd11510008c710022ef9e9b43a9bc49","datavalue":{"value":{"entity-type":"item","numeric-id":5346703,"id":"Q5346703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea08885c4423a28ff9808e7e78e5f3b19b3edcf","datavalue":{"value":{"amount":"+0.7864996790885925","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":"Q1024551$96EC6A93-54DF-4515-BC13-C7A86378EFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b3b41ee8fa4ef932672e3d2286cb51d26927b9","datavalue":{"value":{"entity-type":"item","numeric-id":731889,"id":"Q731889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd6c52ba13e5b359877388b6a11f1c31888480f","datavalue":{"value":{"amount":"+0.7795267701148987","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":"Q1024551$7E39385A-08A8-49E1-8CEE-4064A1AE7DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full operational set theory with unbounded existential quantification and power set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_operational_set_theory_with_unbounded_existential_quantification_and_power_set"}}}}}