{"entities":{"Q731889":{"pageid":733738,"ns":120,"title":"Item:Q731889","lastrevid":50778641,"modified":"2026-01-15T03:42:45Z","type":"item","id":"Q731889","labels":{"en":{"language":"en","value":"Operational set theory and small large cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611731"}},"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":"Q731889$FDBEE058-1609-4A7A-A31C-CD130EA612A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0907359e837e031857c74fe4ec8ee10545061041","datavalue":{"value":{"text":"Operational set theory and small large cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731889$41B3E9B3-27F1-44AB-BB86-45199C1C0A0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7321ff500d4456df9fd79945a08ecece041cc22b","datavalue":{"value":"1183.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$4F432B3B-5D13-4BC1-BF92-A839C6F011D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$433E9B21-22B9-423F-A141-EBC61E8E0137","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$31EB82D8-4E1E-4B8D-9E70-1F050E2145CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q731889$0901391D-DD4E-47A2-B664-4E62579EF0E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57717be23ae28f0ed2488ea5983c4d2690c072e1","datavalue":{"value":"Large cardinals that are consistent with \\(V=L\\) are called small large cardinals. They appear in various guises in various systems such as admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, etc. The author's grand aim in progress is ``to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases.'' Operational set theory presented in this paper is a partial modification of the author's [Algebra Logic, Papers Summer Res. Inst., Clayton 1974, Lect. Notes Math. 450, 87--139 (1975; Zbl 0357.02029)]. Small large cardinals treated in the paper are inaccessible, Mahlo and weakly compact. A preliminary version of this paper was presented in [Lect. Notes Log. 6, 3--22 (1996; Zbl 0857.03034)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q731889$C016FDDD-2B79-4D0A-A9C1-192F5818DEEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$73B06682-15C1-4C43-86F0-0798E643200D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$88E7F659-6339-4A38-AF31-90364AB30159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$F1AA56E3-D6FF-4CD3-98C7-5079847AAF59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2f2ac4e27144854b2b2bdba08e631cf64502f8d","datavalue":{"value":"5611731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$4E93F366-281B-4906-83CE-6B8D4335A383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bee3a04e0fdf145f406d396167e69c6804f9f69","datavalue":{"value":"operational set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q731889$4C603B7C-A747-49E5-95C9-7EC45F610074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede44e8d3d1edeb35bedf93c4a69082388a8aac0","datavalue":{"value":"small large cardinal notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q731889$BD0480C8-7D97-4A37-A02C-28F14F90B7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702fb3ebc97a699883828af525f55bfb34f11812","datavalue":{"value":"operational closure conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q731889$A6FF76A2-055C-453D-BD07-67E0073F27CB","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":"Q731889$9ACFA9FB-CBD9-4F88-ACBA-7D0D78EAEAAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"038c869a76f001f5413c50857f01e96da1309f39","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q731889$7B1E8A90-4B7F-457A-839C-EBF7F127C20A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"765b0b90dc9862d8dd7180f0a1c3e52e3050a9e6","datavalue":{"value":"W1971165519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$3B7F1734-5030-4B04-B5C4-16C5AA5FB36A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0f41e7061f789fa7536cdb45a6ca9277033d","datavalue":{"value":{"entity-type":"item","numeric-id":3214912,"id":"Q3214912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$5B545CE9-0DEE-4B50-9C41-809CDE0D727E","rank":"normal"},{"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":"Q731889$D01289F1-F799-4B73-BC7A-09CDA22DF62A","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":"Q731889$5422DC82-08FF-4E4E-A80B-5910760A486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59107da81e96c701fa1346bd3051791bca44fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1825191,"id":"Q1825191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$38988595-DC03-4591-8496-EC413F04D398","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":"Q731889$02218BB3-3ED1-4EA7-AFC3-E8509C5E71BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f2f010d75da0393ed95e9b526702ddda6e19c5","datavalue":{"value":{"entity-type":"item","numeric-id":3880813,"id":"Q3880813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$B765FB1A-E645-42F1-AC1E-E22116142F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55cb26be29174b1de9acca41e4f1d834db6623c","datavalue":{"value":{"entity-type":"item","numeric-id":4893132,"id":"Q4893132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$2AEC8DE3-DDC5-480F-857D-1FD21DC052D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a6a1455ff027a7734743b0fbbe2d81d4eb180a","datavalue":{"value":{"entity-type":"item","numeric-id":5316376,"id":"Q5316376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$BD366050-30B8-437A-BBA1-3043AAE57BA9","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":"Q731889$8FE84A26-6840-4FEB-8DFD-5215ED768146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8873a5b1a50afe14f8bea6132f10dee810201084","datavalue":{"value":{"entity-type":"item","numeric-id":4315890,"id":"Q4315890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$F139FDF1-A9B5-48E8-A236-60BDEAF1C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$D97B6288-ABE1-4957-B62B-1E6C51398AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab358c92256243f420d7acaf3d76a80fa6e7b63","datavalue":{"value":{"entity-type":"item","numeric-id":5622175,"id":"Q5622175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$622B4C01-8D14-4AFD-99AD-FA4A49AB0A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$D196D4CE-4CE4-4CD6-B913-7C6A98F20CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731889$F7FF56AB-46B0-4A92-9FBE-881F7418B47D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce7fa579ccb27e7209eb6054a0163006f560ec47","datavalue":{"value":"10.1016/J.IC.2008.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731889$43B64803-F2FD-424D-822B-313C63574856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f71c36541310c5dbf5bb69ea86dfb02d8fbf2a","datavalue":{"value":{"entity-type":"item","numeric-id":4379925,"id":"Q4379925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fce8f32428d2eda4ebbe3f62bfef6db87986cf","datavalue":{"value":{"amount":"+0.7484754323959351","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":"Q731889$5F3E4929-46EA-4989-BCD1-3021FC1D2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba5f80663f627c5f4b80d55da29def887305b90","datavalue":{"value":{"entity-type":"item","numeric-id":3535899,"id":"Q3535899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98d4dfa072ddf11397e9ff6f99ee74b4d3d9f00","datavalue":{"value":{"amount":"+0.7480424642562866","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":"Q731889$F150AEC9-90C2-4906-9427-0D96F8744834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eab33720f0117b1160f42abb9dc3e9f6ae6d687","datavalue":{"value":{"entity-type":"item","numeric-id":3425059,"id":"Q3425059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8281928d6e7770bb25fc815877b27184adafbdc5","datavalue":{"value":{"amount":"+0.7425072193145752","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":"Q731889$96097D07-A920-4304-9C16-141D9785E100","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":"2a47a8c897900db633f806d55b927e06e7092c4e","datavalue":{"value":{"amount":"+0.7406677603721619","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":"Q731889$89C572A8-4693-4D8E-9DF3-1A15A7B7F87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88a07e057a79da95d5d0aaa13519e5b9e0150a3","datavalue":{"value":{"entity-type":"item","numeric-id":4315890,"id":"Q4315890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c006ad128c7cfd3c7a6724e5a9b83e87be7359","datavalue":{"value":{"amount":"+0.7389643788337708","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":"Q731889$AFA7CCEF-9917-4D84-99F3-A20F16E90753","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:731889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:731889"}}}}}