{"entities":{"Q2463480":{"pageid":2474223,"ns":120,"title":"Item:Q2463480","lastrevid":50232230,"modified":"2026-01-13T14:35:02Z","type":"item","id":"Q2463480","labels":{"en":{"language":"en","value":"On Feferman's operational set theory \\textsf{OST}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219714"}},"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":"Q2463480$EBBA418D-6844-4DAA-A63C-3AD8E65B0313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b050c2f6abfaf694cb30612efe198ab697d3d1fa","datavalue":{"value":{"text":"On Feferman's operational set theory \\textsf{OST}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2463480$ABC3CFD3-7B58-486E-980E-B10CBFAC1339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b624e9f60eb07f6cae7899b88e6e006f862e9169","datavalue":{"value":"1136.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$14412523-BD04-4FB9-BDB1-939F8ABF09FE","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":"Q2463480$FAB79DEF-1DC9-4455-BE0D-A6B0FBAF22CE","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":"Q2463480$7AF4D4FE-185C-4246-94ED-43FF096C31EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"314b76050ef3171781c5f6c923ad9c6a4de18f5b","datavalue":{"value":{"time":"+2007-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2463480$1C3F5D32-D825-4A35-93E7-D7113B2F3E33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af0134c11293df2b23937731bb3f4ede3484e0fb","datavalue":{"value":"The author provides a proof-theoretic analysis of the operational set theory \\textsf{OST}, introduced by S.~Feferman, and some of its extensions. The language of \\textsf{OST} extends the one of usual set theory by operations which mimic the applicative structure of Feferman's explicit mathematics. It contains, in particular, operations for separation (for definite operations), replacement, and choice. It can be strengthened by a power set operation \\(\\mathbb{P}\\) and an operator for unbounded quantification \\(\\mathbf{E}\\). The theories \\textsf{OST} and \\textsf{OST}\\(^r({\\mathbf{E}},\\mathbb{P})\\) are shown to be equiconsistent with \\textsf{KP}\\(\\omega\\) and \\textsf{ZFC}, respectively; the exact strength of \\textsf{OST}\\((\\mathbb{P})\\) is still unknown, but is shown to be between \\textsf{KP}\\((\\mathcal{P})\\) and \\textsf{KP}\\((\\mathcal{P}) + (V = L)\\) (where \\textsf{KP}\\((\\mathcal{P})\\) is Kripke-Platek set theory for power admissible sets).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463480$F15CF7D2-B7BB-4D25-A11F-FA614EA5C75C","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":"Q2463480$6E3B3780-E645-4C86-AE70-B824ED0FB6A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$0EF5EEED-96A1-4A12-983D-3D35A28FCE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$03288458-0684-4901-869E-AEC8CF8183F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$DC12734C-A49F-4A33-855B-25A9D399E64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9560ed5c5dba1dcc41900127bd65ba815af6619a","datavalue":{"value":"5219714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$FE03BA7E-8C72-49A2-8E57-E1AD7F355D70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bee3a04e0fdf145f406d396167e69c6804f9f69","datavalue":{"value":"operational set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463480$264A66A3-030D-4980-8C27-F9CF2F69760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463480$2E436219-40EE-48C2-8249-54DF8C66BC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463480$3E4213F2-C50B-4F47-9C55-5583606F4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850ce33b861906e1aa0ae6424cf23ca086e60344","datavalue":{"value":"classical and constructive set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463480$6243D839-621D-4E0C-9593-6B6AA714F8A4","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":"Q2463480$DC411925-CC63-4A5D-8728-B10535335FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d168be3d16b02e18c3c1fe1809bad5f510a32102","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2463480$A7A96F8D-E42A-4485-B1FC-7F0245DCB94E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41b3f600430ce891174b6f13097baa36be6fc1b0","datavalue":{"value":"W4291166560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$C65D9EEB-4E3A-4825-AB58-AF0750855098","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":"Q2463480$04C65256-BB28-4CB3-82B7-B2E4A9268F8E","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":"Q2463480$E030C206-1F5A-4D04-93C4-E5F25AA95DB0","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":"Q2463480$4274A920-4E73-4ABD-9ED9-E0F22C827A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb240c2d96b404c86cd73082f8ce049836f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5618341,"id":"Q5618341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$48B53C57-EBB9-4BE0-BDE9-FC8445247387","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":"Q2463480$FA430B10-1878-42FE-A9B7-E90A32CCF1A2","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":"Q2463480$13CDB5A7-CB02-4045-AF64-FAE593ED0D86","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":"Q2463480$9DB1B196-7E0B-4FAB-9F96-0EF19833F585","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":"Q2463480$071EDB5F-4BB9-4030-9E7F-BFC5C67C4BCC","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":"Q2463480$A7F3B603-1E4E-4E2A-875B-F8FDE6C8B2A1","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":"Q2463480$A6F0EE0E-6371-40C2-ADA7-37D280CF1202","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":"Q2463480$A77A3964-4EB4-497D-BDC1-989954EAC0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddcae75623ad27e45f301cf7aa223ba87bd8584","datavalue":{"value":{"entity-type":"item","numeric-id":3968911,"id":"Q3968911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$3EAA60F5-CFEC-4C4C-A796-D9AC51083CFE","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":"Q2463480$DA37BA0B-17B7-4D33-8C1D-DE7A3451C081","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":"Q2463480$2F0D8225-089A-45A1-B407-0A560BF8780E","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":"Q2463480$6F2A8ECB-1269-4937-971F-4B8B14E5EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdb946f77f539e6c2ab8dcb097ea066ef544025","datavalue":{"value":{"entity-type":"item","numeric-id":4793035,"id":"Q4793035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$FA669CC7-B20E-435C-8821-912B14164D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd69c5caa797f9bc21811d7af6578fc631df364","datavalue":{"value":{"entity-type":"item","numeric-id":2566068,"id":"Q2566068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$0DECDA1C-5285-4516-86BC-2032662BBE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$A09D7B27-C200-4B5F-8E2B-6D05487AC013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c77c60d68cc52109546a156001550d5e30ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$D1D3B77F-A2DB-4EC4-BD6B-6B617A471391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$38D32730-BE0F-48D2-8C56-8473B4CF6089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463480$F2FF2E2D-6FC5-4967-A379-865FAA7F7EF9","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":"Q2463480$623415FE-4147-42EB-8AA8-FA9DB2B7E964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e7f09cf797d7ffca8f719c039a7531ce3460248","datavalue":{"value":"10.1016/J.APAL.2007.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463480$D14749A7-1BCB-46DD-8D38-98FCDFC36FE0","rank":"normal"}],"P1643":[{"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":"9c02faaaea6ffc8d860ec653b4abcff87210029c","datavalue":{"value":{"amount":"+0.8687719106674194","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":"Q2463480$76477287-A47D-403A-BF28-26CDCBD16577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724fb07d10a07f431e62a8b10f8a9a5345bed691","datavalue":{"value":{"entity-type":"item","numeric-id":1024551,"id":"Q1024551"},"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":"Q2463480$69A4A095-877F-4C46-B919-79A931825148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689928a3d562a5859eb3801cd9813f717b4c68c1","datavalue":{"value":{"entity-type":"item","numeric-id":4981451,"id":"Q4981451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fada73ba2a9bb5757d4412e0cdac05832b0aa1d","datavalue":{"value":{"amount":"+0.8178309202194214","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":"Q2463480$9D478442-EF1E-471D-B5D3-2480A30F49B7","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":"6f93b948ba6bb6ec9cdaa403715ee747a57807dc","datavalue":{"value":{"amount":"+0.8147466778755188","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":"Q2463480$DD7D3A45-9FB8-4993-A517-881D95376B57","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":"3c4e203bb396239c1e475b52d4b8c5d6375b924f","datavalue":{"value":{"amount":"+0.8146804571151733","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":"Q2463480$74412197-BD79-40F3-8AAA-7AEFF0621D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2463480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2463480"}}}}}