{"entities":{"Q1073008":{"pageid":1083760,"ns":120,"title":"Item:Q1073008","lastrevid":69570861,"modified":"2026-04-13T07:54:59Z","type":"item","id":"Q1073008","labels":{"en":{"language":"en","value":"Two \\(\\lambda\\)-extensions of the theory of homogeneous simple types as a second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943777"}},"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":"Q1073008$6BBB3335-DEA1-417D-83D3-B74EE954DEBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3f002e07a37357c70c81122d15f19b90191c120","datavalue":{"value":{"text":"Two \\(\\lambda\\)-extensions of the theory of homogeneous simple types as a second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073008$FC6CB16D-4117-4745-841B-EE041520C650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2210da88bfdb127e664f7c3a19c41eef73a160b3","datavalue":{"value":"0588.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073008$D045F6F9-41CC-41CC-823D-8FE2A6C85E4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89836e5df96e8f7407950db8e44518b657008052","datavalue":{"value":{"entity-type":"item","numeric-id":244405,"id":"Q244405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073008$9DCB2FF0-4A9B-43D9-AB3C-C98CBD880FDF","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":"Q1073008$EB421C0D-EC5E-4B85-84B6-B8B7DE273F01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1073008$5A7A9BD7-DB16-4A33-B7B2-CCC3CF65E29B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef43f401ba86f4ac0167a29ce30ec507b901bb84","datavalue":{"value":"Two second order logics with \\(\\lambda\\)-abstracts are formulated as counterparts to the theory of homogeneous simple types. Predicates can be nominalized and occur as singular terms in these logics so that self- predication is not only meaningful in general but is even provable in certain special cases. Extensional and intensional Fregean semantics in which nominalized predicates are assigned individuals as concept- correlates are formulated and the extensional and intensional versions of these logics are shown to be complete with respect to their corresponding semantics. The logics are shown to be consistent relative to weak Zermelo set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$AF97BB19-E6EA-4F26-AE7C-4F981021E855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073008$7F9C36EB-B992-4E06-A122-1ED661A88F7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c72386235701cf28360cf8f250fc7bca275c22cf","datavalue":{"value":"3943777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073008$EA735701-026B-4EF6-991D-9F05ADDAD7D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420cf9c31eaf77c098a567bfab4b135bc7cc6c37","datavalue":{"value":"lambda abstracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$DDDDE38F-34F8-4A82-838E-6E01EBD79929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$4CA888E5-7C54-414D-8466-7DC9EFEB4EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f67712c55c88255c9b65e114863fad2a425de70","datavalue":{"value":"Fregean semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$55A37E72-1BB6-499C-BEF1-98ADD8BB8542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9af697535535fa61eca45ad4f31e40a1748f2c","datavalue":{"value":"nominalized predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$52CD2A51-5D4B-4079-AF94-1D4EE2A5B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9299d006cbced7f504b977625a5d1e956fedc5e4","datavalue":{"value":"weak Zermelo set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073008$84649488-741B-4AC5-BEB6-B9B1ABEFBA26","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":"Q1073008$765BCA03-BD2D-40F6-9073-ABCBDDF5AD57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5373f15ad278b2e288b51f9de62b8cfd50bde9e7","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870930","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073008$2357CEF1-A400-422D-A3F1-CD2DFDD493A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b93ed050bb5579c9d25dc1914dc6cf968c02f30f","datavalue":{"value":"W1991392082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073008$E059A652-1F54-4E51-9C5D-6172328880E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7dfc214e1a237b768d46cc7ee2152e3d2e0500","datavalue":{"value":"10.1305/NDJFL/1093870930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073008$A6C4FE8A-F044-487C-A63A-2586EEA956B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee786fa76014d2d15cc4ff4a3e72953ca2421af","datavalue":{"value":{"entity-type":"item","numeric-id":3800002,"id":"Q3800002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf509546f4d1f91c4c606c4d5514c35d9948284","datavalue":{"value":{"amount":"+0.7566225528717041","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":"Q1073008$17A9DE9E-9110-4DD5-8DEA-B30F34EE55FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fa7965451533b702c03ab9d89854532485dbac","datavalue":{"value":{"entity-type":"item","numeric-id":3469080,"id":"Q3469080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d394808e0efe69a32eee98bb652a69bc1ccaf1e","datavalue":{"value":{"amount":"+0.7335680723190308","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":"Q1073008$9A960446-840A-4B55-95C5-24F7501053F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a7a3351ca204c3187f529752f4eba2360a5935d","datavalue":{"value":{"entity-type":"item","numeric-id":1073011,"id":"Q1073011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2609289603ca59d593c180239ae06f78b0e2c4","datavalue":{"value":{"amount":"+0.7329658269882202","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":"Q1073008$159AC990-29BF-41D3-BED2-99CF96A1C42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f270c12737ffe577c5e63e57277fc1b5c6eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4362916,"id":"Q4362916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421882551a4be3e5d23b9d55cebaa50fed612713","datavalue":{"value":{"amount":"+0.7273079752922058","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":"Q1073008$4E06E762-12DF-4D1F-8609-F0EA71044A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dc2abb143177169552cd56fe6c54ac3ceadc95","datavalue":{"value":{"entity-type":"item","numeric-id":4722029,"id":"Q4722029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a19eda14de5a81fe62cedccdd14426fbf6a196","datavalue":{"value":{"amount":"+0.7211273312568665","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":"Q1073008$77B91C21-56F0-4479-B406-AE41BB87F2FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two \\(\\lambda\\)-extensions of the theory of homogeneous simple types as a second-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_%5C(%5Clambda%5C)-extensions_of_the_theory_of_homogeneous_simple_types_as_a_second-order_logic"}}}}}