{"entities":{"Q1121865":{"pageid":1132614,"ns":120,"title":"Item:Q1121865","lastrevid":66814371,"modified":"2026-04-12T13:02:40Z","type":"item","id":"Q1121865","labels":{"en":{"language":"en","value":"A type-free system extending (ZFC)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104917"}},"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":"Q1121865$E06A9FD0-66C7-40AE-AE7D-25C2167F4487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e83d6796097a98d6588795717aee7f03ad06931","datavalue":{"value":{"text":"A type-free system extending (ZFC)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121865$9AD4922E-46FE-4814-ADF9-00E5304EA37A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db7ec151d3cbbc5bfbe1a9e88dad337a8b48223d","datavalue":{"value":"0675.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$7A960BD5-BDCE-4A63-B483-06B52DD0FFDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"998a4ffd23d855c4fabd51e13f57cc52683e535b","datavalue":{"value":"10.1016/0168-0072(89)90026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$D4B916E0-3EA7-4D5C-ABC4-7DBF5E2F3128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eff3f1dbe564cf37289d1cc6f7612bc183de25e8","datavalue":{"value":{"entity-type":"item","numeric-id":1121864,"id":"Q1121864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$B0E196AF-5511-4A7B-9F42-163F2C292480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20944d599dc1f118876ee7220fa52f40afc2b92","datavalue":{"value":{"entity-type":"item","numeric-id":6481875,"id":"Q6481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$2A9821F2-A39E-495F-AF38-6D048DD16970","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":"Q1121865$31C6FA22-4D03-4181-AC0A-13E4DFAD4AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121865$3B03A385-025F-41BF-A5CD-9C5703BD04FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c139ec5b1f90e07732f7ebea47bfab123211529","datavalue":{"value":"The authors define a further extension \\((EFL)^*\\) of Aczel's type-free theory of Frege structures [cf. \\textit{P. Aczel}, The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math. 101, 31-59 (1980; Zbl 0462.03002), and \\textit{R. Flagg} and \\textit{J. Myhill}, Mathematical logic and theoretical computer science, Lect. Notes Pure Appl. Math. 106, 197- 217 (1987; Zbl 0662.03051)] to allow interpretation of ZFC. The language of this theory is that of type-free \\(\\lambda\\)-calculus over the primitive constants \\(=\\), \\({\\mathcal N}\\), \\({\\mathcal P}\\), \\(\\vee\\), \\&, \\(\\Rightarrow\\), \\(\\exists\\), \\(\\forall\\). Here, e.g., (values of) terms \\({\\mathcal P}A\\), \\(\\forall (\\lambda x.{\\mathcal P}(Cx))\\) and \\({\\mathcal N}M\\), respectively, correspond to the assertions: ``A is a true or false proposition'', ``C is a class (or propositional function)'', and ``M is a Church's \\(\\lambda\\)-numeral (i.e. M is \\(\\lambda fx.f^ m(x))\\), \\(m=0,1,2,...)''\\). The authors postulate well-known rules for equality (i.e. for terms \\(=AB)\\) and also for other primitive constants. Then the Comprehension Rule, which allows to infer \\(\\exists f \\forall x\\in A \\phi (x,fx)\\) from ``A is a discrete class'' and \\(\\forall x\\in A \\exists !y \\phi (x,y)\\), gives rise to the second-order arithmetic with full comprehension. To interpret ZFC the authors add a formal closure property of the collection of discrete classes, namely, that the universe (of functions) is well ordered so that some of its initial segments is both discrete and strongly inaccessible. Given a suitable \\(\\kappa\\)-continuous model \\(D_{\\kappa}=[D_{\\kappa}\\to D_{\\kappa}]\\) of \\(\\lambda\\)-calculus with \\(\\kappa\\) strongly inaccessible, the author inductively define (following the ideas of F. B. Fitch, D. Scott and P. Aczel [cf. \\textit{P. Aczel}, loc. cit.]) the corresponding Frege structure (the primitive constants \\(=\\), \\({\\mathcal N}\\),... are interpreted in \\(D_{\\kappa}\\) as \\(\\lambda xy.<0,x,y>\\), \\(\\lambda x.<1,x>\\), etc., and the subsets \\({\\mathcal T},{\\mathcal F}\\subseteq D_{\\kappa}\\) of true and, respectively, false propositions are defined to satisfy \\({\\mathcal P}a\\in {\\mathcal F}\\) iff \\(a\\in {\\mathcal T}\\cup {\\mathcal F}\\), \\(\\Rightarrow ab\\in {\\mathcal F}\\) iff \\(a\\in {\\mathcal T}\\) and \\(b\\in {\\mathcal F}\\), etc.). This gives a consistency proof of \\((EFL)^*\\). Finally, in connection with a theorem of Friedman's, it is asked whether there exists a combinatory algebra in which the scheme \\(\\forall \\bar x \\forall \\bar y[\\&_{ij}(x_ i=x_ j\\Rightarrow y_ i=y_ j)\\Rightarrow \\exists f \\&_ i(fx_ i=y_ i)]\\) is valid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$3C610B6C-F195-4DBA-941B-DE5FE7FB985B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$FD43BDBF-7D5D-4C71-8972-8831C1363490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$5CB945A1-0C0B-4563-8F70-3CF9C2F3C908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a73ff217f2bc8eb2ee87bebc3727488eae4d13","datavalue":{"value":"4104917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$BDD63510-2679-40FD-8FF7-7B7468FA4DCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2002ddfe8ca61373a2d5a60a9cf4cbf396f3922","datavalue":{"value":"extension of Aczel's type-free theory of Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$F04659C7-414A-4A12-983D-30E66F332AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa47585f5a2a4ab051ea1391368c7e91040374","datavalue":{"value":"interpretation of ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$FF68AC82-FCB1-4126-A68C-F4455021148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa89cf4847230c8c0c271d8f2bf6d0d99986ffa","datavalue":{"value":"type-free \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$0FB9B6DF-FBD4-4BC9-85D7-BD5FAAA2247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3de5be1c8fa516c53a0a440a00b844fee09002c","datavalue":{"value":"Comprehension Rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$0A243B27-73F8-40D3-ACEC-DEB7797AA311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028dd122db549aa4ff311dd01787022822da347a","datavalue":{"value":"strongly inaccessible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121865$EC622007-EABD-4193-A6A5-27D9FD7A2933","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21f17c58588273728eeab43e5b397c5212fc4996","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$D7FDC65B-9860-46B1-AB06-252FF65BEE21","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":"Q1121865$25ED409E-2CA8-42A9-8DBD-DBB6C834C9C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33de1d05f5e65bca1e1251d10b0680ed4742ce77","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90026-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121865$41242CE6-C490-4301-B4C7-671FDE82186F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04082b7620f2f4422f19e85bd2d62c9cf2628db8","datavalue":{"value":"W2020976554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121865$61321AEC-663E-479F-8C77-7B7299A5C8D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$90168B20-58E1-4AF8-890B-23FBB0977AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$69941206-78DC-4069-B707-6D7A6CF236CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$69746E5B-C54A-4345-8412-54AD52D41477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$485C8993-D186-40D6-82E7-B3DD740034DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$73C1E6BC-ECA1-42E7-8A41-EE93BC1E4C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$B801D07E-6C76-48A5-8D05-A0FFE2F26F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efa5446f972ef2f2aef572165825999a284f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":5834324,"id":"Q5834324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$AB17D5F4-72A7-4AAD-874D-BC3A0D955F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0657bad7603aacb8f27f5078785e09d3f38ed093","datavalue":{"value":{"entity-type":"item","numeric-id":5786282,"id":"Q5786282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$45A069E4-618F-4C1C-BF13-23E776CD2D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a1e0dadf7413f34ec8d383700eef58356b0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$F31366EC-F0B0-4A85-9674-E8197F5FBF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2938d602a424112b26a0366d14dfff312a63d801","datavalue":{"value":{"entity-type":"item","numeric-id":1095139,"id":"Q1095139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$847917CD-0CA6-4C77-8905-E224905921BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0f64cc99cb8bcdc12a07911f76a1f78bedc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3812243,"id":"Q3812243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$E7C0D9A2-1921-4BEC-BED7-EAC2628516A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$3DD0E0D6-3186-49C9-96FE-1CB7BB5E8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c9823713798f462284d18e0098c29f26d98df","datavalue":{"value":{"entity-type":"item","numeric-id":4109651,"id":"Q4109651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121865$3D558E8C-2A87-4A8A-901F-BF20667CEDDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0188fda2af11f2760a526d290e21bb8088ec2d42","datavalue":{"value":{"entity-type":"item","numeric-id":3812243,"id":"Q3812243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c404970ec3474b580652a1b914f52ada33394a3","datavalue":{"value":{"amount":"+0.8611440062522888","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":"Q1121865$F17334BB-94AA-4F90-9203-9F6FA0D492AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddba6b75c2a9b84fdbb436eed85119e6fb21c8f","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b978b8ef179104474f15046896018ffe0ecf7733","datavalue":{"value":{"amount":"+0.8244516253471375","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":"Q1121865$F7376223-F1CF-46D1-826D-EEB3BFD597CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bccc170c805bfa653d2a1a9a3c258d16f2b4237","datavalue":{"value":{"amount":"+0.7830442190170288","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":"Q1121865$2F2E70FA-521A-4865-8673-8AA765915EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f02cebc808e932374de2516e417f772819449","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952fd94defb1d6ad9477b6296a1cc8bfb7bbf3e1","datavalue":{"value":{"amount":"+0.7510457038879395","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":"Q1121865$501E423C-26A8-4A86-93C7-A41D06F061E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dacd131383dc0da14c7720b128158e872af3ac3","datavalue":{"value":{"entity-type":"item","numeric-id":3343961,"id":"Q3343961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c767f142f816b7816b65c618d189a43d425db2","datavalue":{"value":{"amount":"+0.7502039074897766","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":"Q1121865$8F8CA4C9-A7F6-4541-87E2-C11B0EF6D3A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type-free system extending (ZFC)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_type-free_system_extending_(ZFC)"}}}}}